Computing with Tarski formulas and semi-algebraic sets in a web browser
From MaRDI portal
(Redirected from Publication:6170823)
Cites work
- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- An incremental algorithm for computing cylindrical algebraic decompositions
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- Automated reasoning tools in GeoGebra discovery
- Black-box/white-box simplification and applications to quantifier elimination
- CAD Adjacency Computation Using Validated Numerics
- Comparison of CAD-based methods for computation of rational function limits
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Cylindrical algebraic decomposition using validated numerics
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Efficient projection orders for CAD
- Fast simplifications for Tarski formulas based on monomial inequalities
- Giac and GeoGebra -- improved Gröbner basis computations
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1263359 (Why is no real title available?)
- scientific article; zbMATH DE number 1302474 (Why is no real title available?)
- scientific article; zbMATH DE number 2009904 (Why is no real title available?)
- scientific article; zbMATH DE number 4114777 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
- New results on quantifier elimination over real closed fields and applications to constraint databases
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- Polynomial constraints and unsat cores in \textsc{Tarski}
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- Simplification of quantifier-free formulae over ordered fields
- Solving non-linear arithmetic
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- Thirty years of virtual substitution. Foundations, techniques, applications
Cited in
(3)- Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
- Equiangular lines in \(\mathbb{C}^3\)
- Hetero-Bäcklund transformation, bilinear forms and multi-solitons for a (2+1)-dimensional generalized modified dispersive water-wave system for the shallow water
This page was built for publication: Computing with Tarski formulas and semi-algebraic sets in a web browser
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6170823)
