Micaela Mayero
Author
Alternate name Micaela Mayero
Institutions Laboratoire Méthodes Formelles, Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord
Past institutions Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord, Université Paris-Saclay, Laboratoire Méthodes Formelles, Sorbonne Université +5 more
H-index: 10
I10-index: 10
Works count: 41
Citations count: 311
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program
2012 · Sylvie Boldo, François Clément, et al. · Journal of Automated Reasoning
Formal Proof of a Wave Equation Resolution Scheme: The Method Error
2010 · Sylvie Boldo, François Clément, et al. · Lecture notes in computer science
Trusting computations: A mechanized proof from partial differential equations to actual program
2014 · Sylvie Boldo, François Clément, et al. · Computers & Mathematics with Applications