| 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 $ |
Wikipedia: Ordinary differential equation