Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program

Overview of attention for article published in Journal of Automated Reasoning, August 2012

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 3 X posts from 3 X users, with an upper bound of 51,354 followers.

Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program https://t.co/nyYrHEoDVI

Wave equation numerical resolution: mathematics and program - by Sylvie Boldo et als. http://t.co/9GFQOuQo #Coq

#SpMM #SpII Resolución numérica de la ecuación de onda en C = para profesores interesados en ilustrar a sus alumnos = http://t.co/oSFeOmCr