Simplification of Cylindrical Algebraic Formulas

DOI10.1007/978-3-319-24021-3_9MaRDI QIDQ3454537zbMATH OpenOpenAlexFDO

Authors Changbo Chen, Marc Moreno Maza

Publication date 25 November 2015

Published in Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24021-3_9

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Topology of real algebraic varieties (14P25) Symbolic computation and algebraic computation (68W30)

Recommendations

• Optimising problem formulation for cylindrical algebraic decomposition
• Cylindrical algebraic decomposition with equational constraints
• scientific article; zbMATH DE number 1262462
• scientific article; zbMATH DE number 1263359
• scientific article; zbMATH DE number 1157656
• scientific article; zbMATH DE number 3880114
• Regular cylindrical algebraic decomposition
• scientific article; zbMATH DE number 1574481
• scientific article; zbMATH DE number 1157652
• Computing cylindrical algebraic decomposition via triangular decomposition

Cited in

(1)

• Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas

This page was built for publication: Simplification of Cylindrical Algebraic Formulas

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