Mini-workshop: Formal methods in commutative algebra: a view toward constructive homological algebra. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to commutative algebra (13-06) Computational aspects and applications of commutative rings (13Pxx) Proceedings, conferences, collections, etc. pertaining to associative rings and algebras (16-06) Homological methods in associative algebras (16Exx)
Summary: 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.
- Commutative algebra. Abstracts from the workshop held April 19th -- April 25th, 2009.
- Mini-workshop: Constructive homological algebra with applications to coherent sheaves and control theory. Abstracts from the mini-workshop held May 12--18, 2013.
- Singularities and homological aspects of commutative algebra. Abstracts from the workshop held February 10--16, 2019
- Mini-workshop: Asymptotic invariants of homogeneous ideals. Abstracts from the mini-workshop held September 30 -- October 6, 2018
- Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
- Mini-workshop: Algebraic, geometric, and combinatorial methods in frame theory. Abstracts from the mini-workshop held September 30 -- October 6, 2018
- Mini-workshop: Enveloping algebras and geometric representation theory. Abstracts from the mini-workshop held March 8th -- March 14th, 2009.
- Mini-workshop: Cohomology of Hopf algebras and tensor categories. Abstracts from the mini-workshop held March 3--9, 2019
- Mini-workshop: Computations in the cohomology of arithmetic groups. Abstracts from the mini-workshop held October 30 -- November 5, 2016
- Mini-workshop: Fine structure and inner model theory. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
This page was built for publication: Mini-workshop: Formal methods in commutative algebra: a view toward constructive homological algebra. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q985398)
