Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics
Reference42 articles.
1. Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, volume 55 of National Bureau of Standards Applied Mathematics Series. Courier Corporation (1964)
2. Benoit, A., Joldes, M., Mezzarobba, M.: Rigorous uniform approximation of D-finite functions using Chebyshev expansions. Math. Comput. 86(305), 1303–1341 (2017). https://doi.org/10.1090/mcom/3135
3. Berinde, V.: Iterative Approximation of Fixed Points. Lecture Notes in Mathematics, vol. 1912. Springer, Berlin (2007)
4. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development: Coq’Art: the Calculus of Inductive Constructions. Springer (2013)
5. Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Comput. 4(4), 361–369 (1998). https://doi.org/10.1023/A:1024467732637