Real quantifier elimination in the RegularChains library
DOI10.1007/978-3-662-44199-2_44zbMATH Open1437.14006OpenAlexW578769015MaRDI QIDQ2879136FDOQ2879136
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
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
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Computational real algebraic geometry (14Q30)
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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
Uses Software
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)
