Open Non-uniform Cylindrical Algebraic Decompositions

DOI10.1145/2755996.2756654zbMath1346.68273OpenAlexW1983621455MaRDI QIDQ2819742

Christopher W. Brown

Publication date: 29 September 2016

Published in: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2755996.2756654

zbMATH Keywords

cylindrical algebraic decompositionpolynomial inequalities

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving ⋮ Regular cylindrical algebraic decomposition ⋮ Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition ⋮ Levelwise construction of a single cylindrical algebraic cell ⋮ Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 ⋮ Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Editorial: Symbolic computation and satisfiability checking ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure ⋮ New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis