Floats and Ropes: A Case Study for Formal Numerical Program Verification, Automata, Languages and Programming, pp.91-102 ,
, , 2009.
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program, Journal of Automated Reasoning, vol.50, issue.4, pp.423-456, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00649240
Trusting computations: A mechanized proof from partial differential equations to actual program, Computers & Mathematics with Applications, vol.68, issue.3, pp.325-352, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00769201
Unrestricted algorithms for elementary and special functions, Information Processing, vol.80, 1980. ,
Fast Computation of Bernoulli, Tangent and Secant Numbers, Springer Proceedings in Mathematics & Statistics, pp.127-142, 2013. ,
Modern Computer Arithmetic. Cambridge University Press, 2010. ,
Théorieélémentaire des fonctions analytiques d'une ou plusieurs variables complexes, 1961. ,
Résumé d'un mémoire sur la mécanique céleste et sur un nouveau calcul appelé calcul des limites, Exercices d'analyse et de physique mathématique, vol.II, pp.58-112, 1841. ,
Mémoire sur l'emploi du nouveau calcul, appelé calcul des limites, dans l'intégration d'un système d'équations différentielles. Comptes-rendus de l'Académie des Sciences, 15:14, 1842, pp.5-17 ,
OEuvres complètes d'Augustin Cauchy, Ière série, volume VII. Gauthier-Villars, 1892 ,
OEuvres complètes d'Augustin Cauchy, IIe série, volume XII, 1916. ,
The Cauchy-Kovalevskaya theorem ,
, Companion to the NIST Handbook of Mathematical Functions, vol.30, 2010.
Analytic Combinatorics, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00072739
On Location and Approximation of Clusters of Zeros of Analytic Functions, Foundations of Computational Mathematics, vol.5, issue.3, pp.257-311, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00186736
John von Neumann's Analysis of Gaussian Elimination and the Origins of Modern Numerical Analysis, SIAM Review, vol.53, issue.4, pp.607-682, 2011. ,
Discrete Variable Methods in Ordinary Differential Equations, 1962. ,
Accuracy and stability of numerical algorithms, 2002. ,
Reliable implementation of linear filters with fixed-point arithmetic, SiPS 2013 Proceedings, pp.401-406, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01076048
Ordinary differential equations in the complex domain, 1976. ,
Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights, SIAM Journal on Scientific Computing, vol.40, issue.6, pp.726-747, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01705612
The holonomic toolkit. Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, 2013. ,
Ore polynomials in Sage, Computer Algebra and Polynomials, pp.105-125, 2015. ,
Error analysis of digital filters realized with floating-point arithmetic, Proceedings of the IEEE, vol.57, issue.10, pp.1735-1747, 1969. ,
Extended abstract of a talk at the 5th International Congress on Mathematical Software, 2016. ,
Truncation bounds for differentially finite series, Annales Henri Lebesgue, vol.2, pp.99-148, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01817568
Effective bounds for P-recursive sequences, Journal of Symbolic Computation, vol.45, issue.10, pp.1075-1096, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00376219
The Numerical Solution of the Initial Value Problem for Linear Recurrence Relations, 1965. ,
Relative error propagation in the recursive solution of linear recurrence relations, Numerische Mathematik, vol.9, pp.323-340, 1967. ,
, NIST Handbook of Mathematical Functions, 2010.
Linear differential equations as a data-structure, Foundations of Computational Mathematics, vol.19, issue.5, pp.1071-1112, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01940078
Rounding-Off Errors in Matrix Processes, The Quarterly Journal of Mechanics and Applied Mathematics, vol.1, issue.1, pp.287-308, 1948. ,
Majorants for formal power series, 2003. ,
Numerical inverting of matrices of high order, Bulletin of the American Mathematical Society, vol.53, issue.11, pp.1021-1099, 1947. ,
Explicit a-priori error bounds and adaptive error control for approximation of nonlinear initial value differential systems, Computers and Mathematics with Applications, vol.52, issue.12, pp.1695-1710, 2006. ,
Rounding errors in algebraic processes, 1963. ,
Forward computation in second order difference equations, Applicable Analysis, vol.1, issue.4, pp.325-329, 1972. ,
Email address: marc.mezzarobba@lip6.fr Email address: marc@mezzarobba, Marc Mezzarobba, Sorbonne Université, CNRS, LIP6, F-75005, 1984. ,