Browsing Workshops 2009 by MFO Series ID "OWR-2009-50"
Now showing items 1-1 of 1
-
0946b - Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
[OWR-2009-50] (2009) - (08 Nov - 14 Nov 2009)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 ...