Mini-workshop: Constructive homological algebra with applications to coherent sheaves and control theory. Abstracts from the mini-workshop held May 12--18, 2013.
type: Item
instance of: scholarly article
title: Mini-workshop: Constructive homological algebra with applications to coherent sheaves and control theory. Abstracts from the mini-workshop held May 12--18, 2013.
zbMATH Open document ID: 1349.00053
DOI: 10.4171/OWR/2013/25
published in: Oberwolfach Reports
publication date: 2016-11-27T00:00:00Z
review text: Summary: The main objective of this mini-workshop is to bring together recent developments in constructive homological algebra. There, the current state already reached a level of generality which allows simultaneous application to diverse fields of applied and theoretical mathematics. In this workshop, we want to focus on simultaneous applications to system theory on the one side and to coherent sheaves and their cohomology on the other side. Surprisingly, these apparently remote fields share a considerable amount of common constructive methods. Bringing category theory and homological algebra to the computer leads to questions in logic and type theory. One goal of this workshop is to promote and enlarge this overlap.
Mathematics Subject Classification ID: 00B05
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 18-06
Mathematics Subject Classification ID: 13-06
Mathematics Subject Classification ID: 93-06
Mathematics Subject Classification ID: 14Qxx
Mathematics Subject Classification ID: 18Gxx
Mathematics Subject Classification ID: 13Dxx
Mathematics Subject Classification ID: 18E35
Mathematics Subject Classification ID: 18A40
zbMATH DE Number: 6656888
describes a project that uses: Macaulay2
MaRDI profile type: Publication
cites work: Cohomology and toric varieties and local cohomology with monomial supports
full work available at URL: https://doi.org/10.4171/owr/2013/25
OpenAlex ID: W2083398554
description: scientific article; zbMATH DE number 6656888