The following pages link to QEPCAD B (Q4810199):
Displaying 7 items.
- Variant quantifier elimination (Q420753) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)
- MetiTarski: An Automatic Prover for the Elementary Functions (Q5505501) (← links)
