Quantifier elimination on real closed fields and differential equations

MaRDI QIDQ5458159zbMATH OpenFDO

Authors Andreas Weber

Publication date 11 April 2008

zbMATH Keywords

survey paper

Mathematics Subject Classification ID

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

Recommendations

• A bibliography of quantifier elimination for real closed fields
• scientific article; zbMATH DE number 1302474
• Quantifier elimination for quasi-real closed fields
• scientific article; zbMATH DE number 4008374
• Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination

Cited in

(5)

• Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
• Bounds for Elimination of Unknowns in Systems of Differential-Algebraic Equations
• Complexity of quantifier elimination in the theory of ordinary differential equations
• scientific article; zbMATH DE number 4031651 (Why is no real title available?)
• Quantifier elimination in linear difference equations over Witt vectors

Describes a project that uses

Uses Software

• QEPCAD

This page was built for publication: Quantifier elimination on real closed fields and differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458159)