The following pages link to (Q3958439):
Displaying 8 items.
- Some aspects of complexity in real algebraic geometry (Q582342) (← links)
- Geometric reasoning with logic and algebra (Q918227) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
- The complexity of linear problems in fields (Q1103602) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Indexed types (Q1389626) (← links)
- Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander (Q3479523) (← links)