Lin, Youdong

Validated Solutions of Initial Value Problems for Parametric Odes - 1145-1162 p.


Interval Analysis
Validated
Taylor Series