Arnaud Spiwack. Verified Computing in Homological Algebra. (Calculs vérifiés en algèbre homologique). PhD thesis, École Polytechnique, Palaiseau, France, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.