{"id":"arxiv/2604.19068","url":"https://arxiv.org/abs/2604.19068","tags":["math.NA"],"score":0,"title":"Taylor Tube Method for Validated IVP","domain":"math.NA","source":"arxiv","authors":["Bingwei Zhang","Chee Yap"],"reviews":0,"subject":"math.NA","summary":"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 subroutine in our algorithm is the \\textbf{Euler Tube}: it gave a technique for refining end- and full-enclosures and is also key to deriving a complexity bound of our IVP solver. In this paper, we generalize it to \\textbf{Taylor Tube} of degree $p\\ge 1$. As expected, higher-degree Taylor Tubes improve accuracy. But surprisingly, our experiments show that it can also lead to an overall speedup when combined with bisection.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-21","reactions":{}}