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