Pages that link to "Item:Q5393295"
From MaRDI portal
The following pages link to Complexity of quantifier elimination in the theory of ordinary differential equations (Q5393295):
Displayed 11 items.
- Effective uniform bounding in partial differential fields (Q900852) (← links)
- New effective differential Nullstellensatz (Q908094) (← links)
- NC solving of a system of linear ordinary differential equations in several unknowns (Q1351699) (← links)
- Computability of the additive complexity of algebraic circuits with root extracting (Q1351701) (← links)
- An upper bound for minimizing coefficients of the Kolchin dimension polynomial (Q1956954) (← links)
- Complexity of solving parametric polynomial systems (Q2256707) (← links)
- A bound for orders in differential Nullstellensatz (Q2267443) (← links)
- Theory of computational complexity. Part 9. Transl. from the Russian. (Q2494566) (← links)
- On the complexity of the resolvent representation of some prime differential ideals (Q2496182) (← links)
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (Q2509948) (← links)
- Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models (Q5404097) (← links)