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

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

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

(10)

• On multivariate Hermitian quadratic forms
• Quantifier elimination theory and maps which preserve semipositivity
• On the implementation of CGS real QE
• Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
• 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
• Algorithmic global criteria for excluding oscillations
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• 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)