Mohamed Barakat, Markus Lange-Hegermann
2011 ACM SIGSAM Bulletin  
The objective of this software presentation is to demonstrate a means of homological computation of finitely presented modules over a commutative ring R localized at a maximal ideal m. This can be achieved by a reduction of the problem of solving linear systems over R m to the same problem over R. An implementation in the GAP-package LocalizeRingForHomalg exists as a part of the homalg-project.
doi:10.1145/1940475.1940520 fatcat:w2hnfqjbsnflzjur4z6vfebinu