Étude formelle d'algorithmes efficaces en algèbre linéaire
Maxime Dénès, Université Nice Sophia Antipolis — 2013
Links
Abstract
Formalized mathematics
Certified algorithms
Linear algebra
Formal proofs
Efficient verified computations
Homology
Formalized mathematics
Certified algorithms
Linear algebra
Formal proofs
Efficient verified computations
Homology