scientific article; zbMATH DE number 3997767
From MaRDI portal
Publication:4724607
zbMath0616.03018MaRDI QIDQ4724607
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functions of several variables (26B99) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (7)
A generalization of the Tarski-Seidenberg theorem, and some nondefinability results ⋮ Frontière d'une hypersurface pfaffienne ⋮ Exponentially and logarithmically closed Hardy fields in several variables ⋮ O-minimal Hauptvermutung for polyhedra. I ⋮ About certain subsets of the Euclidean space ⋮ Some aspects of complexity in real algebraic geometry ⋮ Saturation and stability in the theory of computation over the reals
This page was built for publication: