scientific article; zbMATH DE number 5494022
From MaRDI portal
Publication:5301651
zbMath1190.68028MaRDI QIDQ5301651
Christopher W. Brown, James H. Davenport
Publication date: 20 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
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, Single-factor coefficient bounds, The saddle point problem of polynomials, Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics, A Unified Approach to Unimodality of Gaussian Polynomials, Faster real root decision algorithm for symmetric polynomials, Digital collections of examples in mathematical sciences, CAD and topology of semi-algebraic sets, Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition, Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?, Adapting Real Quantifier Elimination Methods for Conflict Set Computation, Cylindrical algebraic sub-decompositions, Proving inequalities and solving global optimization problems via simplified CAD projection, 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, Constraint Markov chains, Some lower bounds for the complexity of the linear programming feasibility problem over the reals, A logic based approach to finding real singularities of implicit ordinary differential equations, Truth table invariant cylindrical algebraic decomposition, $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation, Need Polynomial Systems Be Doubly-Exponential?, Cylindrical algebraic decomposition with equational constraints, Quantifier elimination by cylindrical algebraic decomposition based on regular chains, The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree, On algorithms testing positivity of real symmetric polynomials, 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, Computing Linear Extensions for Polynomial Posets Subject to Algebraic Constraints, Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness, Formula simplification via invariance detection by algebraically indexed types, New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis, Solving parametric systems of polynomial equations over the reals through Hermite matrices
Uses Software
