JournalsowrVol. 6 / No. 4DOI 10.4171/owr/2009/50

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

  • Thierry Coquand

    Chalmers University of Technology, Gothenburg, Sweden
  • Alban Quadrat

    INRIA Saclay, Gif-Sur-Yvette Cedex, France
  • Ihsen Yengui

    Faculté des Sciences de Sfax, Tunisia
Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra cover

You need to subscribe to download the article.

Abstract

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.