Numerical Software with Result Verification

DOI10.1007/b96498zbMath1126.65314OpenAlexW203078251MaRDI QIDQ5308352

Christian H. Bischof, Klaus Schulte Althoff, Bruno Lang, Thomas Beelitz

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96498

zbMATH Keywords

singularitieschemical process analysis and designorder-2 Taylor expansionverified solution of nonlinear systems

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Classical flows, reactions, etc. in chemistry (92E20) Algorithms with automatic result verification (65G20) Packaged methods for numerical algorithms (65Y15)

Uses Software

• C-XSC 2.0
• INTOPT_90
• Cosy

This page was built for publication: Numerical Software with Result Verification