Verified Computing in Homological Algebra. (Calculs vérifiés en algèbre homologique)

@inproceedings{Spiwack2011VerifiedCI,
  title={Verified Computing in Homological Algebra. (Calculs v{\'e}rifi{\'e}s en alg{\`e}bre homologique)},
  author={Arnaud Spiwack},
  year={2011}
}