Bünger, FlorianFlorianBünger2024-01-252024-01-252024-01-06Numerical Algorithms 97 (2): 819-841 (2024)https://hdl.handle.net/11420/45287We present two new methods, a simple fast and a slower more precise one, to reduce the truncation error occurring during multiplication in verified Taylor model arithmetic. These methods were implemented in MATLAB in INTLAB’s Taylor model toolbox which targets solving ordinary differential equations rigorously, i.e., numerical solutions are computed along with rigorous error bounds that include all numerical as well as all rounding errors so that the exact solution must lie within these error bounds. The methods are applied to several test cases to show their effect.en1017-139820242819841SpringerInitial value problemsOrdinary differential equationsTaylor modelsMathematicsJournal Article10.1007/s11075-023-01725-4Journal Article