A solution to Kahan's problem (SIGSAM problem no. 9)

DOI10.1145/1088240.1088244zbMath0401.51010OpenAlexW2054544305MaRDI QIDQ4185425

Markus Lauer

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

zbMATH Keywords

Polynomial InequalitiesW.Kahan

Mathematics Subject Classification ID

Euclidean analytic geometry (51N20)

Related Items

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 ⋮ Geometric reasoning with logic and algebra