Oberwolfach Reports


Full-Text PDF (393 KB) | Introduction as PDF | Metadata | Table of Contents | OWR summary
Volume 6, Issue 4, 2009, pp. 2731–2770
DOI: 10.4171/OWR/2009/50

Published online: 2010-09-01

Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra

Thierry Coquand[1], Alban Quadrat[2] and Ihsen Yengui[3]

(1) Chalmers University of Technology, Gothenburg, Sweden
(2) INRIA Saclay, Gif-Sur-Yvette Cedex, France
(3) Faculté des Sciences de Sfax, Tunisia

The purpose of the mini-workshop is to bring into the same place different mathematical communities that study constructive homological algebra and are motivated by different 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 unified terminology, common mathematical problems, which naturally appear when making homological algebra constructive, were discussed.

No keywords available for this article.

Coquand Thierry, Quadrat Alban, Yengui Ihsen: Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra. Oberwolfach Rep. 6 (2009), 2731-2770. doi: 10.4171/OWR/2009/50