Cleve Moler曾表示“所有刚性颂歌的数值方法都是隐式的”。但是，我不知道这个陈述是一个数学事实，还是一个简单的观察。此外，许多 ODE 的数值方法假设我们唯一能用右手边做的就是点评估。例如，如果我们可以在右边使用自动微分$x' = f(x,t)$，我们被引导到 ODE 的 Taylor 方法。

但是泰勒方法可以有效地用于刚性方程吗？如果没有，是否有隐式泰勒方法可以解决这个问题？

注意：僵硬的定义总是存在问题。Cleve 的定义在这种情况下会起作用吗？

如果正在寻求的解变化缓慢，则问题是僵硬的，但附近的解却快速变化，因此数值方法必须采取小步骤才能获得令人满意的结果。