Wu's method and the Khovanskii finiteness theorem

DOI10.1016/S0747-7171(08)80122-8zbMath0749.58002MaRDI QIDQ1186731

Daniel Richardson

Publication date: 28 June 1992

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

Wu's methodKhovanskii finiteness theoremPfaff manifold

Mathematics Subject Classification ID

Differentiable manifolds, foundations (58A05)

Cites Work

• \(p\)-adic and real subanalytic sets
• On the elementary theory of restricted elementary functions
• Non Standard Models of the Theory of Elementary Functions of a Real Variable
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Wu's method and the Khovanskii finiteness theorem