scientific article; zbMATH DE number 1228742
From MaRDI portal
Publication:4221845
zbMATH Open0911.03015MaRDI QIDQ4221845
Publication date: 7 March 1999
Title of this publication is not available (Why is that?)
Semialgebraic sets and related spaces (14P10) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (3)
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance ⋮ Useful mathematical relationships embedded in Tversky's \textit{elimination by aspects} model. ⋮ Axiomatic Geometry of Conditional Models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4221845)
