The purpose of the mini-workshop is to bring into the same place diﬀerent mathematical communities that study constructive homological algebra and are motivated by diﬀerent applications (e.g., constructive algebra, symbolic computation, proof theory, algebraic topology, mathematical systems theory, D-modules, dynamical systems theory) so that they can share their results, techniques, softwares and experiences. Through the development of a uniﬁed terminology, common mathematical problems, which naturally appear when making homological algebra constructive, were discussed.
Cite this article
Thierry Coquand, Alban Quadrat, Ihsen Yengui, Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra. Oberwolfach Rep. 6 (2009), no. 4, pp. 2731–2770DOI 10.4171/OWR/2009/50