Artificial Intelligence and Symbolic Computation

DOI10.1007/B100361zbMATH Open1109.03315OpenAlexW4205793925MaRDI QIDQ5464720FDOQ5464720

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

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

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)

Cited In (9)

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