- journal article metadata
European Mathematical Society Publishing House
2016-09-19 17:05:19
Oberwolfach Reports
Oberwolfach Rep.
OWR
1660-8933
1660-8941
General
10.4171/OWR
http://www.ems-ph.org/doi/10.4171/OWR
subscribers
European Mathematical Society Publishing House
Zuerich, Switzerland
© Mathematisches Forschungsinstitut Oberwolfach
6
2009
4
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, 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.
Mathematical logic and foundations
Commutative rings and algebras
Associative rings and algebras
Category theory; homological algebra
2731
2770
10.4171/OWR/2009/50
http://www.ems-ph.org/doi/10.4171/OWR/2009/50