UL

Uziel LinaresUzielLinares

Rigorous Interval Optimization with Taylor Models

published Aug 31 2020, 01:07

Validated Integration of Ordinary Differential Equations

published Aug 31 2020, 01:05

Bounders for TaylorModels

published Aug 20 2020, 19:05