Efficient projection orders for CAD
From MaRDI portal
Recommendations
Cited in
(37)- Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
- Using machine learning to improve cylindrical algebraic decomposition
- Efficiently and effectively recognizing toricity of steady state varieties
- 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
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Fully incremental cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- From simplification to a partial theory solver for non-linear real polynomial constraints
- Special algorithm for stability analysis of multistable biological regulatory systems
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
- Recent advances in real geometric reasoning
- Improved projection for CAD's of R 3
- Combined Decision Techniques for the Existential Theory of the Reals
- scientific article; zbMATH DE number 2151199 (Why is no real title available?)
- Cylindrical algebraic sub-decompositions
- The strategy challenge in SMT solving
- On using Lazard's projection in CAD construction
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- 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
- Algorithmic global criteria for excluding oscillations
- 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
- Truth table invariant cylindrical algebraic decomposition
- 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 decomposition using local projections
- Exploring alternative machine learning models for variable ordering in cylindrical algebraic decomposition
- Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
- Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure
- More is less: adding polynomials for faster explanations in NLSAT
- Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition
- Testing elementary function identities using CAD
This page was built for publication: Efficient projection orders for CAD
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4657310)
