Beelitz, Thomas ; Bischof, Christian ; Lang, Bruno ; Althoff, Klaus Schulte (2004)
Result-verifying solution of nonlinear systems in the analysis of chemical processes.
In: Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers / Ren\'e Alt ... (ed.
Buchkapitel, Bibliographie