Pages that link to "Item:Q684955"
From MaRDI portal
The following pages link to Complexity of quantifier elimination in the theory of ordinary differentially closed fields (Q684955):
Displaying 5 items.
- Formal solutions of differential equations (Q803209) (← links)
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination (Q1185458) (← links)
- Simplification of quantifier-free formulae over ordered fields (Q1368694) (← links)
- (Q5187264) (← links)
- Complexity of quantifier elimination in the theory of ordinary differential equations (Q5393295) (← links)