Verified Determination of Singularities in Chemical Processes

DOI10.1007/978-1-4757-6484-0_25zbMath1395.92192OpenAlexW1505209647WikidataQ59029871 ScholiaQ59029871MaRDI QIDQ4577126

Martin Mönnigmann, Bruno Lang, Christian H. Bischof, Wolfgang Marquardt

Publication date: 16 July 2018

Published in: Scientific Computing, Validated Numerics, Interval Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4757-6484-0_25

zbMATH Keywords

nonlinear systemssingularity theorychemical processesrigorous solvers

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Numerical computation of solutions to systems of equations (65H10) Classical flows, reactions, etc. in chemistry (92E20)

Related Items (2)

A Hybrid Subdivision Strategy for Result-Verifying Nonlinear Solvers ⋮ Efficient task scheduling in the parallel result-verifying solution of nonlinear systems

Uses Software

• INTOPT_90

Cites Work

• Preconditioning linearized equations
• Singularities and groups in bifurcation theory. Volume I
• Practical bifurcation and stability analysis: from equilibrium to chaos.
• Rigorous global search: continuous problems
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• A Successive Interval Test for Nonlinear Systems
• Interval Methods for Systems of Equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verified Determination of Singularities in Chemical Processes