Lin, Youdong Validated Solutions of Initial Value Problems for Parametric Odes - 1145-1162 p. Subjects--Topical Terms: Interval AnalysisValidatedTaylor Series