Numerical Software with Result Verification

DOI10.1007/B96498MaRDI QIDQ5308352zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(1)

• Verified determination of singularities in chemical processes

Describes a project that uses

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)