1 paper
Bingwei Zhang, Chee Yap
We recently introduced a novel architecture for the design of validated IVP algorithms. This architecture forms the basis of our complete validated algorithm for IVP. A key subrout…