Pages that link to "Item:Q2080988"
From MaRDI portal
The following pages link to Symbolic computation for the qualitative theory of differential equations (Q2080988):
Displaying 7 items.
- Symbolic computation of limit cycles associated with Hilbert's 16th problem (Q718043) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL (Q2914756) (← links)
- (Q3705399) (← links)
- (Q4227268) (← links)
- (Q4708421) (← links)
- Symbolic-numeric completion of differential systems by homotopy continuation (Q5262774) (← links)