scientific article; zbMATH DE number 1182922
From MaRDI portal
Publication:4401019
zbMath0940.68184MaRDI QIDQ4401019
Publication date: 30 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decision problemsquantifier eliminationsemialgebraic setsgeometric theoremalgorithmic real algebraic geometry
Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Semialgebraic sets and related spaces (14P10) Applications of computability and recursion theory (03D80) Computational aspects in algebraic geometry (14Q99)
Related Items (3)
Fixed points, Nash equilibria, and the existential theory of the reals ⋮ Polygonal chains cannot lock in 4D ⋮ Unnamed Item
This page was built for publication:
