Open Non-uniform Cylindrical Algebraic Decompositions
From MaRDI portal
Publication:2819742
DOI10.1145/2755996.2756654zbMath1346.68273OpenAlexW1983621455MaRDI QIDQ2819742
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
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
