Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

DOI10.1007/978-3-662-44199-2_68zbMath1350.68294arXiv1405.6094OpenAlexW1560494575WikidataQ59590577 ScholiaQ59590577MaRDI QIDQ2879160

Matthew England, Russell J. Bradford, David J. Wilson, James H. Davenport

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.6094

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Real algebraic and real-analytic geometry (14P99) Computational aspects in algebraic geometry (14Q99)

Related Items (6)

A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs ⋮ Recent Advances in Real Geometric Reasoning ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Fully incremental cylindrical algebraic decomposition ⋮ Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness

This page was built for publication: Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition