Efficient projection orders for CAD

DOI10.1145/1005285.1005303zbMath1134.68575OpenAlexW2051595244MaRDI QIDQ4657310

Andreas Dolzmann, Thomas Sturm, Andreas Seidl

Publication date: 14 March 2005

Published in: Proceedings of the 2004 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer science aspects of computer-aided design (68U07) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (27)

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks ⋮ A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs ⋮ Recent Advances in Real Geometric Reasoning ⋮ Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) ⋮ Lazard-style CAD and Equational Constraints ⋮ Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition ⋮ Computing with Tarski formulas and semi-algebraic sets in a web browser ⋮ Cylindrical algebraic sub-decompositions ⋮ Testing elementary function identities using CAD ⋮ The Strategy Challenge in SMT Solving ⋮ Algorithmic global criteria for excluding oscillations ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Identifying the parametric occurrence of multiple steady states for some biological networks ⋮ Efficiently and effectively recognizing toricity of steady state varieties ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Combined Decision Techniques for the Existential Theory of the Reals ⋮ Fully incremental cylindrical algebraic decomposition ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ From simplification to a partial theory solver for non-linear real polynomial constraints ⋮ Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem ⋮ Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms ⋮ Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition ⋮ Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition ⋮ Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure ⋮ Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness ⋮ Special algorithm for stability analysis of multistable biological regulatory systems ⋮ New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis

Uses Software

• REDLOG

This page was built for publication: Efficient projection orders for CAD