scientific article; zbMATH DE number 5494022

From MaRDI portal
Revision as of 21:48, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.



Related Items (34)

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural NetworksA Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial InputsRecent Advances in Real Geometric ReasoningSingle-factor coefficient boundsThe saddle point problem of polynomialsPositive dimensional parametric polynomial systems, connectivity queries and applications in roboticsA Unified Approach to Unimodality of Gaussian PolynomialsFaster real root decision algorithm for symmetric polynomialsDigital collections of examples in mathematical sciencesCAD and topology of semi-algebraic setsExplainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decompositionIs computer algebra ready for conjecturing and proving geometric inequalities in the classroom?Adapting Real Quantifier Elimination Methods for Conflict Set ComputationCylindrical algebraic sub-decompositionsProving inequalities and solving global optimization problems via simplified CAD projectionDeciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coveringsUsing machine learning to improve cylindrical algebraic decompositionConstraint Markov chainsSome lower bounds for the complexity of the linear programming feasibility problem over the realsA logic based approach to finding real singularities of implicit ordinary differential equationsTruth table invariant cylindrical algebraic decomposition$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic ComputationNeed Polynomial Systems Be Doubly-Exponential?Cylindrical algebraic decomposition with equational constraintsQuantifier elimination by cylindrical algebraic decomposition based on regular chainsThe Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial DegreeOn algorithms testing positivity of real symmetric polynomialsProblem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular DecompositionApplying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic DecompositionComputing Linear Extensions for Polynomial Posets Subject to Algebraic ConstraintsImproved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output CorrectnessFormula simplification via invariance detection by algebraically indexed typesNew heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysisSolving parametric systems of polynomial equations over the reals through Hermite matrices


Uses Software






This page was built for publication: