%0 Thesis %1 phd/hal/Denes13 %A Dénès, Maxime %D 2013 %K %T Étude formelle d'algorithmes efficaces en algèbre linéaire. (Formal study of efficient algorithms in linear algebra).

@phdthesis{phd/hal/Denes13, added-at = {2023-12-13T03:54:30.000+0100}, author = {Dénès, Maxime}, biburl = {https://www.bibsonomy.org/bibtex/26e056c878f730382dc9be0c70ffb7a92/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00945775}, interhash = {9007d39bd56220c389cc238e711672d0}, intrahash = {6e056c878f730382dc9be0c70ffb7a92}, keywords = {}, school = {University of Nice Sophia Antipolis, France}, timestamp = {2023-12-13T03:54:30.000+0100}, title = {Étude formelle d'algorithmes efficaces en algèbre linéaire. (Formal study of efficient algorithms in linear algebra).}, year = 2013 }