2 papers
math.NA2026
Taylor Tube Method for Validated IVP
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…
math.NA2026
Bivariate range functions with superior convergence order
Bingwei Zhang, Thomas Chen, Kai Hormann +1
Range functions are a fundamental tool for certified computations in geometric modeling, computer graphics, and robotics, but traditional range functions have only quadratic conver…