Quantifier elimination on real closed fields and differential equations

zbMATH Open1137.03016MaRDI QIDQ5458159FDOQ5458159

Authors: Andreas Weber 

Publication date: 11 April 2008

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

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)

Cited In (5)

• Bounds for Elimination of Unknowns in Systems of Differential-Algebraic Equations
• Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
• Complexity of quantifier elimination in the theory of ordinary differential equations
• Title not available (Why is that?)
• Quantifier elimination in linear difference equations over Witt vectors

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)