| dc.date.accessioned | 2019-10-24T13:58:52Z | |
| dc.date.available | 2019-10-24T13:58:52Z | |
| dc.date.issued | 2009 | |
| dc.identifier.uri | http://publications.mfo.de/handle/mfo/3150 | |
| dc.description.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. | |
| dc.title | Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra | |
| dc.rights.license | Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden. | de |
| dc.rights.license | This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties. | en |
| dc.identifier.doi | 10.14760/OWR-2009-50 | |
| local.series.id | OWR-2009-50 | |
| local.subject.msc | 03 | |
| local.subject.msc | 16 | |
| local.subject.msc | 18 | |
| local.subject.msc | 13 | |
| local.sortindex | 590 | |
| local.date-range | 08 Nov - 14 Nov 2009 | |
| local.workshopcode | 0946b | |
| local.workshoptitle | Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra | |
| local.organizers | Thierry Coquand, Göteborg; Alban Quadrat, Sophia Antipolis; Ihsen Yengui, Sfax | |
| local.report-name | Workshop Report 2009,50 | |
| local.opc-photo-id | 0946b | |
| local.publishers-doi | 10.4171/OWR/2009/50 | |
| local.ems-reference | 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 | |
