Publisher
Springer Science and Business Media LLC
Reference28 articles.
1. Auer, E., Rauh, A.: Vericomp: a system to compare and assess verified ivp solvers. Computing 94, 163–172 (2012). doi: 10.1007/s00607-011-0178-4
2. Battles, Z., Trefethen, L. N.: An extension of MATLAB to continuous functions and operators. SIAM J. Sci. Comput. 25, 1743–1770 (2004)
3. Berz, M., Makino, K.: Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by shrink wrapping. Int. J. Differ. Equ. Appl. 10 (4), 385–403 (2005)
4. Boyd, J.P.: Chebyshev and Fourier Spectral Methods, p. 688. Courier Dover Publications, New York (2001)
5. Brisebarre, N., Joldeş, M.: Chebyshev interpolation polynomial-based tools for rigorous computing. In: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC ’10, pp. 147–154. ACM, New York (2010)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Validated B-series and Runge-Kutta pairs;Numerical Algorithms;2023-11-24
2. Set-Based B-Series;Mathematics;2022-09-02
3. Guaranteed master for interval-based cosimulation;Software and Systems Modeling;2021-01-19
4. Preconditioning of Taylor models, implementation and test cases;Nonlinear Theory and Its Applications, IEICE;2021
5. Cosimulation-Based Control Synthesis;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021