A solution to Kahan's problem (SIGSAM problem no. 9)
From MaRDI portal
Publication:4185425
DOI10.1145/1088240.1088244zbMath0401.51010MaRDI QIDQ4185425
Publication date: 1977
Published in: ACM SIGSAM Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1088240.1088244
51N20: Euclidean analytic geometry
Related Items
Geometric reasoning with logic and algebra, On mechanical quantifier elimination for elementary algebra and geometry, Quantifier elimination: Optimal solution for two classical examples, Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander