Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes. - Thomas Beelitz; Christian H. Bischof; Bruno Lang; Klaus Schulte Althoff (Numerical Software with Result Verification, 2003)