Constructive Finite Free Resolutions
Artikel i vetenskaplig tidskrift, 2011

constructive mathematics

homological algebra

Författare

Thierry Coquand

Göteborgs universitet

Claude Quitte

Manuscripta Mathematica

Vol. 137 331-345

Ämneskategorier

Matematik