Real Quantifier Elimination in the RegularChains Library

DOI10.1007/978-3-662-44199-2_44zbMATH Open1437.14006OpenAlexW578769015MaRDI QIDQ2879136FDOQ2879136

Marc Moreno Maza, Changbo Chen

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)

Cited In (7)

• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Using machine learning to improve cylindrical algebraic decomposition
• 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
• Title not available (Why is that?)

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)