Pages that link to "Item:Q1114669"
From MaRDI portal
The following pages link to Real quantifier elimination is doubly exponential (Q1114669):
Displaying 41 items.
- $$\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)
- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Polynomial Bell Inequalities (Q2960675) (← links)
- Adapting Real Quantifier Elimination Methods for Conflict Set Computation (Q2964460) (← links)
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (Q3012970) (← links)
- Virtual Substitution for SMT-Solving (Q3088298) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714) (← links)
- Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests (Q3589077) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- (Q4247790) (← links)
- Computing the shape of the image of a multi-linear mapping is possible but computationally intractable: Theorems (Q4529461) (← links)
- Computational tools for solving a marginal problem with applications in Bell non-locality and causal modeling (Q4629598) (← links)
- Sur la complexité du principe de Tarski-Seidenberg (Q4713865) (← links)
- Propositional fuzzy logics: Decidable for some (algebraic) operators; undecidable for more complicated ones (Q4719364) (← links)
- (Q5028436) (← links)
- (Q5088970) (← links)
- From LP to LP: Programming with constraints (Q5096231) (← links)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- On the complexity of computing a random Boolean function over the reals (Q5140843) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
- Real World Verification (Q5191121) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Globally Optimizing Small Codes in Real Projective Spaces (Q5854456) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
- Automated repair for timed systems (Q6108434) (← links)
- The complexity of the Hausdorff distance (Q6145675) (← links)
- Punctually presented structures I: Closure theorems (Q6146821) (← links)
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (Q6149145) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)
- Completeness for the complexity class \(\forall \exists \mathbb{R}\) and area-universality (Q6156090) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)
- Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems (Q6637811) (← links)
- Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD (Q6653101) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)
- Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra (Q6653971) (← links)
- Faster one block quantifier elimination for regular polynomial systems of equations (Q6666546) (← links)