Pages that link to "Item:Q1114669"
From MaRDI portal
The following pages link to Real quantifier elimination is doubly exponential (Q1114669):
Displaying 6 items.
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates (Q349840) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Separation of complexity classes in Koiran's weak model (Q1338212) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models (Q3012970) (← links)
