English

Beelitz, Thomas ; Bischof, Christian ; Lang, Bruno ; Althoff, Klaus Schulte (2004):
Result-verifying solution of nonlinear systems in the analysis of chemical processes.
In: Lecture notes in computer science ; 2991, In: Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers / Ren\'e Alt ... (ed., pp. 198-205, Berlin u.a., Springer, [Book Section]