108 citations · 374 across the 17 of their papers we have counts for
1 paper · 2 filters
Irmina Walawska, Daniel Wilczak
We propose a new algorithm for computing validated bounds for the solutions to the first order variational equations associated to ODEs. These validated solutions are the kernel of…