ODE system

Set

context $ d,n,m,k\in\mathbb N $
context $ F:\mathbb R\times\mathbb R^{d\,(1+n)}\to \mathbb R^m $
definiendum $ y \in $ it
postulate $ y:C^k(\mathbb R,\mathbb R^d) $
postulate $ F(t,y(t),y'(t),y''(t),\dots,y^{(n)}(t))=0 $

Reference

Subset of

Link to graph
Log In
Improvements of the human condition