Pages that link to "Item:Q2883805"

The following pages link to Computing cylindrical algebraic decomposition via triangular decomposition (Q2883805):

Displaying 35 items.

• A hypergeometric inequality (Q259718) (← links)
• Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
• Cylindrical algebraic sub-decompositions (Q475412) (← links)
• CAD and topology of semi-algebraic sets (Q626978) (← links)
• Properness defects and projections and computation of at least one point in each connected component of a real algebraic set (Q705131) (← links)
• An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space (Q1105371) (← links)
• Elimination theory in differential and difference algebra (Q1730314) (← links)
• Interval arithmetic in cylindrical algebraic decomposition (Q1864882) (← links)
• Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
• Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
• New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis (Q2109991) (← links)
• Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952) (← links)
• Fully incremental cylindrical algebraic decomposition (Q2307621) (← links)
• Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
• Computing real witness points of positive dimensional polynomial systems (Q2357373) (← links)
• $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
• Need Polynomial Systems Be Doubly-Exponential? (Q2819212) (← links)
• The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
• Recognition of concurrency relations between inaccurate lines (Q2855784) (← links)
• Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
• Simplification of Cylindrical Algebraic Formulas (Q3454537) (← links)
• (Q3696510) (← links)
• Normal Form Analysis of ℤ2-Equivariant Singularities (Q4630074) (← links)
• Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness (Q5014692) (← links)
• Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552) (← links)
• Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks (Q5041065) (← links)
• A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs (Q5041068) (← links)
• Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (Q5495913) (← links)
• Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
• Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
• Cylindrical algebraic decomposition using local projections (Q5963393) (← links)
• Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (Q6149145) (← links)
• A dataset for suggesting variable orderings for cylindrical algebraic decompositions (Q6660322) (← links)
• Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure (Q6666548) (← links)