Constructive Finite Free Resolutions
Journal article, 2011

constructive mathematics

homological algebra

Author

Thierry Coquand

University of Gothenburg

Claude Quitte

Manuscripta Mathematica

Vol. 137 331-345

Subject Categories

Mathematics

More information

Created

10/10/2017