scientific article; zbMATH DE number 1253959

MaRDI QIDQ4226933zbMATH OpenFDO

Authors Saugata Basu

Publication date 30 May 1999

zbMATH Keywords

parityconstraint databasesfirst-order theory of real closed fieldsreal polynomial constraintsuniform quantifier elimination algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Database theory (68P15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Computer Algebra in Scientific Computing
• Conjunctive-query containment and constraint satisfaction
• scientific article; zbMATH DE number 2090033
• Uniform Constraint Satisfaction Problems and Database Theory
• Foundations of Information and Knowledge Systems
• Finite unary relations and qualitative constraint satisfaction
• Constants and finite unary relations in qualitative constraint reasoning
• Quantifier simplification by unification in SMT

Cited in

(3)

• Limits of theory sequences over algebraically closed fields and applications.
• New results on quantifier elimination over real closed fields and applications to constraint databases
• scientific article; zbMATH DE number 1670829 (Why is no real title available?)

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 Q4226933)