Ordinary Differential Equation solving on Van der Pol equation on [0, 1] (test)
0.0002Reference ErrorRigorous Error Certification (Prop. 8 + dReal)
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Rigorous Error Certification (Prop. 8 + dReal)Stiffness Parameter (μ)=32026.03 | 0.0002 | 0.0236 | |
| Rigorous Error Certification (Prop. 8 + dReal)Stiffness Parameter (μ)=22026.03 | 0.0002 | 0.0162 | |
| Rigorous Error Certification (Prop. 8 + dReal)Stiffness Parameter (μ)=12026.03 | 0.0003 | 0.0166 | |
| Rigorous Error Certification (Prop. 8 + dReal)Stiffness Parameter (μ)=42026.03 | 0.0007 | 0.0306 | |
| Rigorous Error Certification (Prop. 8 + dReal)Stiffness Parameter (μ)=52026.03 | 0.0012 | 0.0413 |