Pages that link to "Cylindrical algebraic decomposition"
From HandWiki
The following pages link to Cylindrical algebraic decomposition:
Displayed 17 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Elimination theory (← links)
- Entscheidungsproblem (← links)
- Resultant (← links)
- System of polynomial equations (← links)
- Existential theory of the reals (← links)
- Algebraic geometry (← links)
- Inequality (mathematics) (← links)
- Timeline of algorithms (← links)
- Real closed field (← links)
- Real algebraic geometry (← links)
- Tarski–Seidenberg theorem (← links)
- Satisfiability (← links)
- Cylindric algebra (← links)
- 2-EXPTIME (← links)
- Quantifier elimination (← links)
- Biography:George E. Collins (← links)
- Software:Computer algebra system (← links)