This is an old revision of the document!


ODE system

Set

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

Discussion

Parents

Reference

Subset of

Link to graph
Log In
Improvements of the human condition