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

cylindrical algebraic decompositionquantifier eliminationRegularChainstriangular decomposition

Mathematics Subject Classification ID

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

Recommendations

• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Real quantifier elimination in practice
• 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

(11)

• Real quantifier elimination is doubly exponential
• TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
• Using machine learning to improve cylindrical algebraic decomposition
• On types of degenerate critical points of real polynomial functions
• Verifying Mixed Real-Integer Quantifier Elimination
• Real quantifier elimination in practice
• Solving geometric problems with real quantifier elimination
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• A dataset for suggesting variable orderings for cylindrical algebraic decompositions
• Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition

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)