予測子修正子法
標本点として t n − p + 1 , t n − p + 2 , ⋯ , t n {\displaystyle t_{n-p+1},t_{n-p+2},\cdots ,t_{n}} をとったときこれを p {\displaystyle p} 次のアダムス・バシュフォース(Adams-Bashforth)公式(ルンゲ=クッタ法と同様に強安定な公式であり、1次の場合はオイラー法と同じ)といい、標本点として t n − p + 2 , t n − p + 3 , ⋯ , t n , t n + 1 {\displaystyle t_{n-p+2},t_{n-p+3},\cdots ,t_{n},t_{n+1}} をとったとき p {\displaystyle p} 次のアダムス・ムルトン(Adams-Moulton)公式という。
前者は v n − p + 1 , ⋯ , v n {\displaystyle v_{n-p+1},\cdots ,v_{n}} から直接 v n + 1 {\displaystyle v_{n+1}} の値を計算できるのでこれを陽公式という。
対して、後者は v n + 1 {\displaystyle v_{n+1}} の値を計算するのに v n + 1 {\displaystyle v_{n+1}} 自身の値を必要とする形式をとっており、このような公式を陰公式という。
陰公式では、その形から考えられるように、未知数 v n + 1 {\displaystyle v_{n+1}} は反復法によって求めうる場合がある。
陽公式によって v n + 1 {\displaystyle v_{n+1}} の値を近似的に計算し、陰公式でその近似値を修正するというアルゴリズムがしばしば採用される。
このとき、陽公式のほうを予測子(predictor)、対応する陰公式のほうを修正子(correcter)と呼び、その解法を予測子修正子法という。