|
[1]
|
Elke Just and Bruno Lang.
Success-guided selection of expanded systems for result-verifying
nonlinear solvers.
Reliab. Comput., 16:73--83, March 2012.
[ .pdf |
Abstract ]
|
|
[2]
|
Thomas Beelitz, Bruno Lang, Peer Ueberholz, and Paul Willems.
Closing the case t = 3 for 3-D spherical t-designs using a
result-verifying nonlinear solver.
Reliab. Comput., 14:66--77, June 2010.
[ .pdf |
Abstract ]
|
|
[3]
|
Thomas Beelitz, Andreas Frommer, Bruno Lang, and Paul Willems.
A framework for existence tests based on the topological degree and
homotopy.
Numer. Math., 111(4):493--507, February 2009.
[ DOI |
Abstract ]
|
