The homalg project -- Algorithmic Homological Algebra

  • Increase font size
  • Default font size
  • Decrease font size
Talks

Talks related to the homalg project.
Display # 
1 Constructive homological algebra -- Computable Abelian categories
Mohamed Barakat, Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra, MFO, November 2009.
Mohamed Barakat, School on Computational Commutative Algebra, Neemrana, January 2012 (updated version).
2 Constructive homological algebra -- Lifts and generalized morphisms
Mohamed Barakat, School on Computational Commutative Algebra, Neemrana, January 2012.
3 A constructive setup for coherent sheaves and their cohomology
Mohamed Barakat, Seminario de Algebra, Sevilla, February/March 2012.

Extended version of:
Mohamed Barakat, School on Computational Commutative Algebra, Neemrana, January 2012.
4 Abelian categories and linear partial differential equations
Mohamed Barakat, Workshop on Computational Commutative Algebra, Tehran, July 2011.
5 The Ideas behind the homalg project
Mohamed Barakat & Markus Lange-Hegermann, Sage days 23.5, ITWM & TU-Kaiserslautern, 14-16, July 2010.
6 The homalg project and its related packages (talk)
Mohamed Barakat, MAP 2009, Monastir, Tunisia, December 2009.
7 LocalizeRingForHomalg: Localize commutative rings at maximal ideals
- Mohamed Barakat & Markus Lange-Hegermann, Nikolaus Conference, Aachen, December 2009.
- Markus Lange-Hegermann, ISSAC, Munich, July 2010.
8 The purity filtration as a spectral filtration
Mohamed Barakat, MTNS, Budapest, June 2010.
9 Spectral filtrations
Mohamed Barakat, Minisymposium Algebra, NMC 2009, Groningen, April 2009.
10 Simplicial cohomology of orbifolds - an algorithmic approach
Mohamed Barakat, ICMP, Kobe, September 2010.

Search the homalg project