Complexity of quantifier elimination in the theory of ordinary differentially closed fields

zbMath0779.03008MaRDI QIDQ684955

Dima Yu. Grigoriev

Publication date: 15 September 1993

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

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)

Related Items (1)

Formal solutions of differential equations

This page was built for publication: Complexity of quantifier elimination in the theory of ordinary differentially closed fields