Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823): Difference between revisions

@@ Property / cites work @@
+$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
+Normal rank
@@ Property / cites work @@
+Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
+Normal rank
@@ Property / cites work @@
+Q4434828
@@ Property / cites work: Q4434828 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+New results on quantifier elimination over real closed fields and applications to constraint databases
+Normal rank
@@ Property / cites work @@
+Fast simplifications for Tarski formulas based on monomial inequalities
+Normal rank
@@ Property / cites work @@
+Black-box/white-box simplification and applications to quantifier elimination
+Normal rank
@@ Property / cites work @@
+Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
+Normal rank
@@ Property / cites work @@
+An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
+Normal rank
@@ Property / cites work @@
+Quantifier elimination by cylindrical algebraic decomposition based on regular chains
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification of quantifier-free formulae over ordered fields
+Normal rank
@@ Property / cites work @@
+Q4247790
@@ Property / cites work: Q4247790 / 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 @@
+Q4234240
@@ Property / cites work: Q4234240 / rank @@
+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 @@
+Solving Non-linear Arithmetic
@@ Property / cites work: Solving Non-linear Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Giac and GeoGebra – Improved Gröbner Basis Computations
+Normal rank
@@ Property / cites work @@
+Automated reasoning tools in GeoGebra discovery
@@ Property / cites work: Automated reasoning tools in GeoGebra discovery / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729897
@@ Property / cites work: Q4729897 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
+Normal rank
@@ Property / cites work @@
+CAD Adjacency Computation Using Validated Numerics
+Normal rank
@@ Property / cites work @@
+Comparison of CAD-based Methods for Computation of Rational Function Limits
+Normal rank
@@ Property / cites work @@
+Thirty Years of Virtual Substitution
@@ Property / cites work: Thirty Years of Virtual Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial constraints and unsat cores in \textsc{Tarski}
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6170823