Verified ODE(IVP) Solver


Problem

(dimension)

(initial value)

(start)

(end)

(order)

use maffine algorithm (standard)
use maffine2 algorithm (fast)