Truth table invariant cylindrical algebraic decomposition (Q5963392): Difference between revisions

@@ Property / OpenAlex ID @@
+W1916563250
@@ Property / OpenAlex ID: W1916563250 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0645
@@ Property / arXiv ID: 1401.0645 / rank @@
+Normal rank
@@ Property / cites work @@
+A cluster-based cylindrical algebraic decomposition algorithm
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
+Normal rank
@@ Property / cites work @@
+Q4660680
@@ Property / cites work: Q4660680 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decompositions for boolean combinations
+Normal rank
@@ Property / cites work @@
+Optimising Problem Formulation for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Q4232513
@@ Property / cites work: Q4232513 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing a single open cell in a cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Q5301651
@@ Property / cites work: Q5301651 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic methods for investigating equilibria in epidemic modeling
+Normal rank
@@ Property / cites work @@
+On using bi-equational constraints in CAD construction
+Normal rank
@@ Property / cites work @@
+Computing cylindrical algebraic decomposition via triangular decomposition
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient projection orders for CAD
@@ Property / cites work: Efficient projection orders for CAD / rank @@
+Normal rank
@@ Property / cites work @@
+Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
+Normal rank
@@ Property / cites work @@
+Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Understanding Branch Cuts of Expressions
@@ Property / cites work: Understanding Branch Cuts of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
+Normal rank
@@ Property / cites work @@
+Branch cuts in maple 17
@@ Property / cites work: Branch cuts in maple 17 / rank @@
+Normal rank
@@ Property / cites work @@
+Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
+Normal rank
@@ Property / cites work @@
+Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
+Normal rank
@@ Property / cites work @@
+Constructing fewer open cells by GCD computation in CAD projection
+Normal rank
@@ Property / cites work @@
+Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723141
@@ Property / cites work: Q4723141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295433
@@ Property / cites work: Q4295433 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+On propagation of equational constraints in CAD-based quantifier elimination
+Normal rank
@@ Property / cites work @@
+MetiTarski: Past and Future
@@ Property / cites work: MetiTarski: Past and Future / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of branch cuts
@@ Property / cites work: Geometry of branch cuts / rank @@
+Normal rank
@@ Property / cites work @@
+On the ''Piano Movers'' problem. II: General techniques for computing topological properties of real algebraic manifolds
+Normal rank
@@ Property / cites work @@
+Q4660673
@@ Property / cites work: Q4660673 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Computation with semialgebraic sets represented by cylindrical algebraic formulas
+Normal rank
@@ Property / cites work @@
+A repository for CAD examples
@@ Property / cites work: A repository for CAD examples / rank @@
+Normal rank
@@ Property / cites work @@
+Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic sub-decompositions
@@ Property / cites work: Cylindrical algebraic sub-decompositions / rank @@
+Normal rank
@@ Property / cites work @@
+Development of SyNRAC
@@ Property / cites work: Development of SyNRAC / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59590566
@@ Property / Wikidata QID: Q59590566 / rank @@
+Normal rank