scientific article; zbMATH DE number 1157652
From MaRDI portal
Publication:4391217
zbMath0900.03049MaRDI QIDQ4391217
George E. Collins, Scott McCallum, Dennis S. Arnon
Publication date: 13 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Real algebraic and real-analytic geometry (14P99) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Exact, efficient, and complete arrangement computation for cubic curves, Combining logical and algebraic techniques for natural style proving in elementary analysis
