scientific article; zbMATH DE number 4152348

zbMATH Open0703.03011MaRDI QIDQ3481680FDOQ3481680

Authors: Dima Grigoriev 

Publication date: 1989

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Recent progress in an algebraic analysis approach to linear systems
• Complexity of quantifier elimination in the theory of ordinary differential equations
• Title not available (Why is that?)
• 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)