|
[1]
|
Xiaojun Chen, Andreas Frommer, and Bruno Lang.
Computational existence proofs for spherical t-designs.
Numer. Math., 117(2):289--305, February 2011.
[ DOI |
Abstract ]
|
|
[2]
|
Andreas Frommer and Bruno Lang.
Fast and accurate multi-argument interval evaluation of polynomials.
In Proc. SCAN 2006, 12th International Symposium on Scientific
Computing, Computer Arithmetic, and Validated Numerics, September 26--29,
2006, Duisburg, Germany, page 31. IEEE Computer Society, 2007.
[ DOI |
Abstract ]
|
|
[3]
|
Andreas Frommer and Bruno Lang.
Thematic section: Result-verifying computing.
ECMI Newsletter, 39:5--18, March 2006.
[ Abstract ]
|
|
[4]
|
Stefanie Krivsky and Bruno Lang.
Using interval arithmetic for determining the structure of convex
hulls.
Numer. Algorithms, 37(1--4):233--240, December 2004.
[ DOI |
Abstract ]
|
|
[5]
|
Stefanie Krivsky and Bruno Lang.
Verified computation of higher-dimensional convex hulls and the
solution of linear systems.
Electron. J. Math. Comput., 1:21--35, March 2003.
[ Abstract ]
|
|
[6]
|
Bruno Lang.
A comparison of techniques for evaluating centered forms.
In Ulrich Kulisch, Rudolf Lohner, and Axel Facius, editors,
Perspectives on Enclosure Methods, pages 149--155. Springer-Verlag, Wien,
2001.
[ Abstract ]
|
|
[7]
|
Christian H. Bischof, Bruno Lang, Wolfgang Marquardt, and Martin
Mönnigmann.
Verified determination of singularities in chemical processes.
In Walter Krämer and Jürgen Wolff von Gudenberg, editors,
Scientific Computing, Validated Numerics, Interval Methods, pages
305--316, New York, 2001. Kluwer Academic/Plenum Publishers.
[ Abstract ]
|
|
[8]
|
Götz Alefeld, Andreas Frommer, and Bruno Lang, editors.
Scientific Computing and Validated Numerics --- SCAN-95
Proceedings, volume 90 of Mathematical Research, Berlin, 1996.
Akademie Verlag.
[ Abstract ]
|
|
[9]
|
Bruno Lang.
Verifizierte Lösung von Gleichungs- und
Ungleichungssystemen.
Z. angew. Math. Mech., 75(S II):S541--S542, 1995.
[ Abstract ]
|
