Verified ODE(IVP) Solver
Problem
(dimension)
y[0] = x[1] y[1] = "-0.1" * x[1] - x[0]**3 + 3.5 * cos(pi * t)
python-like syntax
x: input vector (x[0] ... x[n-1])
y: output vector (y[0] ... y[n-1]) including x[0]...x[n-1] and t
solve ODE dx[0]/dt = y[0] , ... , dx[n-1]/dt = y[n-1]
numeric constants pi, e, ln2 can be used
double quoted decimal string is converted to the interval including the value represented by the string
x[0] = 1 x[1] = 1
(initial value)
(start)
(end)
(order)
use maffine algorithm (standard)
use maffine2 algorithm (fast)