Numerical Software with Result Verification

DOI10.1007/B96498zbMATH Open1126.65314OpenAlexW203078251MaRDI QIDQ5308352FDOQ5308352

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

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

Recommendations

• Publication:4945762
• Efficient Numerical Validation of Solutions of Nonlinear Systems
• scientific article
• Verified determination of singularities in chemical processes
• Verified numerical computation for nonlinear equations

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (1)

• Verified determination of singularities in chemical processes

Uses Software

• C-XSC 2.0
• INTOPT_90
• Cosy

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308352)