Arnaud Spiwack. Verified Computing in Homological Algebra. (Calculs vérifiés en algèbre homologique). PhD thesis, École Polytechnique, Palaiseau, France, 2011. [doi]
@phdthesis{hal-5306,
title = {Verified Computing in Homological Algebra. (Calculs vérifiés en algèbre homologique)},
author = {Arnaud Spiwack},
year = {2011},
url = {https://tel.archives-ouvertes.fr/pastel-00605836},
researchr = {https://researchr.org/publication/hal-5306},
cites = {0},
citedby = {0},
school = {École Polytechnique, Palaiseau, France},
}