Author:
Tekriwal Mohit,Appel Andrew W.,Kellison Ariel E.,Bindel David,Jeannin Jean-Baptiste
Publisher
Springer Nature Switzerland
Reference30 articles.
1. Ahlberg, J.H., Nilson, E.N.: Convergence properties of the spline fit. J. Soc. Indust. Appl. Math. 11, 95–104 (1963)
2. Appel, A.W., Bertot, Y.: C-language floating-point proofs layered with VST and Flocq. J. Formalized Reason. 13(1), 1–16 (2020)
3. Appel, A.W., Kellison, A.E.: VCFloat2: floating-point error analysis in Coq (2022). https://github.com/VeriNum/vcfloat/blob/master/doc/vcfloat2.pdf
4. Barrett, R., et al.: Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods. SIAM (1994)
5. Boldo, S., Clément, F., Filliâtre, J.C., Mayero, M., Melquiond, G., Weis, P.: Wave equation numerical resolution: a comprehensive mechanized proof of a C program. J. Autom. Reason. 50(4), 423–456 (2013)