Pages that link to "Item:Q4185425"
From MaRDI portal
The following pages link to A solution to Kahan's problem (SIGSAM problem no. 9) (Q4185425):
Displaying 4 items.
- Geometric reasoning with logic and algebra (Q918227) (← links)
- On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
- Quantifier elimination: Optimal solution for two classical examples (Q1104314) (← links)
- Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander (Q3479523) (← links)
