Ordinary Differential Equation solving on Van der Pol equation on [0, 1] (test)
0.0002Reference Error
Rigorous Error Certification (Prop. 8 + dReal)
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| 0.0002 | 0.0236 | ||
| 0.0002 | 0.0162 | ||
| 0.0003 | 0.0166 | ||
| 0.0007 | 0.0306 | ||
| 0.0012 | 0.0413 |