scientific article; zbMATH DE number 1157653
From MaRDI portal
Publication:4391218
zbMath0900.03050MaRDI QIDQ4391218
Scott McCallum, George E. Collins, 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