Verified ODE(IVP) Solver

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

(start)

(end)

(order)