资 源 简 介
Mathematica IDSolve is a Mathematica plug-in for rigorously solving
ordinary differential equations using interval arithmetic. The current
version is written in C++ and uses MathLink to communicate with
Mathematica. It uses the interval ODE solver library
VNODE-LP designed by Ned Nedialkov.