@phdthesis{denes:tel-00945775, TITLE = {{{\'E}tude formelle d'algorithmes efficaces en alg{\`e}bre lin{\'e}aire}}, AUTHOR = {D{\'e}n{\`e}s, Maxime}, URL = {https://theses.hal.science/tel-00945775}, NUMBER = {2013NICE4103}, SCHOOL = {{Universit{\'e} Nice Sophia Antipolis}}, YEAR = {2013}, MONTH = Nov, KEYWORDS = {Formalized mathematics ; Certified algorithms ; Coq ; Linear algebra ; Formal proofs ; Efficient verified computations ; Homology ; Math{\'e}matiques formelles ; Algorithmes certifi{\'e}s ; Coq ; Alg{\`e}bre lin{\'e}aire ; Preuves formelles ; Calculs efficaces v{\'e}rifi{\'e}s ; Homologie}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00945775/file/2013NICE4103.pdf}, HAL_ID = {tel-00945775}, HAL_VERSION = {v1}, }