Pages that link to "Item:Q1114669"
From MaRDI portal
The following pages link to Real quantifier elimination is doubly exponential (Q1114669):
Displayed 23 items.
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Automatic computation of the complete root classification for a parametric polynomial (Q840716) (← links)
- Testing elementary function identities using CAD (Q944998) (← links)
- Computational complexity of determining which statements about causality hold in different space-time models (Q949614) (← links)
- Some lower bounds for the complexity of the linear programming feasibility problem over the reals (Q998976) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- A singly exponential stratification scheme for real semi-algebraic varieties and its applications (Q1177933) (← links)
- Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711) (← links)
- Comprehensive Gröbner bases (Q1199704) (← links)
- On the parallel complexity of the polynomial ideal membership problem (Q1271168) (← links)
- Separation of complexity classes in Koiran's weak model (Q1338212) (← links)
- Lower bounds for arithmetic networks (Q1803554) (← links)
- Parallel running of a modular simulation scheme (Q2640411) (← links)
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (Q3012970) (← links)
- Virtual Substitution for SMT-Solving (Q3088298) (← 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)
- Computing the shape of the image of a multi-linear mapping is possible but computationally intractable: Theorems (Q4529461) (← links)
- Sur la complexité du principe de Tarski-Seidenberg (Q4713865) (← links)
- (Q4719364) (← links)
- Real World Verification (Q5191121) (← links)