常微分方程

常微分方程。会话常微分方程形式化的常微分方程(ODE)和初值问题。这项工作包括唯一解的局部和全局存在性的证明(Picard-Lindelöf定理)。此外,它包含了流对初始条件的依赖性(连续或甚至可微)的形式化,作为ode流。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换