scientific article; zbMATH DE number 4152348

MaRDI QIDQ3481680zbMATH OpenFDO

Authors Dima Grigoriev

Publication date 1989

Full work available at URL https://eudml.org/doc/68044

zbMATH Keywords

first-order theory of ordinary differentially closed fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Complexity of computation (including implicit computational complexity) (03D15) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 3895043
• Definability and fast quantifier elimination in algebraically closed fields
• Elimination of algorithmic quantifiers for ordered differential algebra
• scientific article; zbMATH DE number 4014674
• scientific article; zbMATH DE number 4039867

Cited in

(8)

• scientific article; zbMATH DE number 4039867 (Why is no real title available?)
• Recent progress in an algebraic analysis approach to linear systems
• scientific article; zbMATH DE number 3895043 (Why is no real title available?)
• Complexity of quantifier elimination in the theory of ordinary differential equations
• scientific article; zbMATH DE number 4031651 (Why is no real title available?)
• On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
• Quantifier elimination for algebraic $D$-groups
• Simplification of quantifier-free formulae over ordered fields

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