Bergische Universität Wuppertal
Fakultät für Mathematik und Naturwissenschaften
Angewandte Informatik - Algorithmik


Result-verifying algorithms


Several people

Duration and funding

since approx. 1994


This page collects publications on result-verifying algorithms, which are not directly related to one of the major projects. Research areas include the application of result-verifying methods in determining convex hulls and in chemical process design.

Project-related publications

[1] Xiaojun Chen, Andreas Frommer, and Bruno Lang. Computational existence proofs for spherical t-designs. Numer. Math., 117(2):289--305, February 2011. [ 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. [ 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. [ 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 ]

Project-related theses

[1] Stefanie Krivsky. Verifizierte Berechnung konvexer Hüllen und Lösung linearer Gleichungssysteme. Diploma thesis, Bergische Universität Gesamthochschule Wuppertal, Germany, January 1998.

See also

the other projects involving result-verifying techniques on the Research page

University of Wuppertal
Faculty of Mathematics and Natural Sciences
Department of Mathematics and Computer Science
Applied Computer Science Group

Last modified:   Disclaimer