Real quantifier elimination in the RegularChains library

DOI10.1007/978-3-662-44199-2_44MaRDI QIDQ2879136zbMATH OpenOpenAlexFDO

Authors Changbo Chen, Marc Moreno Maza

Publication date 8 September 2014

Published in Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44199-2_44

zbMATH Keywords

triangular decompositioncylindrical algebraic decompositionquantifier eliminationRegularChains

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Computational real algebraic geometry (14Q30)

Recommendations

• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• scientific article; zbMATH DE number 1302474
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Quantifier elimination for real algebra -- the quadratic case and beyond

Cited in

(10)

• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Using machine learning to improve cylindrical algebraic decomposition
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• scientific article; zbMATH DE number 1421052 (Why is no real title available?)
• On types of degenerate critical points of real polynomial functions
• Verifying Mixed Real-Integer Quantifier Elimination
• A dataset for suggesting variable orderings for cylindrical algebraic decompositions
• Real quantifier elimination is doubly exponential
• TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
• scientific article; zbMATH DE number 1302474 (Why is no real title available?)

Describes a project that uses

Uses Software

• RegularChains

This page was built for publication: Real quantifier elimination in the RegularChains library

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