scientific article
From MaRDI portal
Publication:3345781
zbMath0552.68046MaRDI QIDQ3345781
Dennis S. Arnon, Scott McCallum
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
continuityquantifier elimination algorithmcylindrical algebraic decomposition algorithmmultiplicities of the roots of a polynomial
Symbolic computation and algebraic computation (68W30) Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
A bibliography of quantifier elimination for real closed fields ⋮ Geometric reasoning with logic and algebra
This page was built for publication:
