1,987 followers
Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program https://t.co/nyYrHEoDVI
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