Artificial Intelligence and Symbolic Computation

DOI10.1007/B100361MaRDI QIDQ5464720zbMATH OpenOpenAlexFDO

Authors Andreas Dolzmann, Lorenz Gilch

Publication date 19 August 2005

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Quantifier elimination for real algebra -- the quadratic case and beyond
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• scientific article; zbMATH DE number 871442
• scientific article; zbMATH DE number 1263423
• Real quantifier elimination by computation of comprehensive Gröbner systems

Cited in

(9)

• On the implementation of CGS real QE
• Quantifier elimination theory and maps which preserve semipositivity
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• Algorithmic global criteria for excluding oscillations
• Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
• On maps which preserve semipositivity and quantifier elimination theory for real numbers
• Faster one block quantifier elimination for regular polynomial systems of equations

This page was built for publication: Artificial Intelligence and Symbolic Computation

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