4 citations · 12 across the 13 of their papers we have counts for
1 paper · 2 filters
Sebastian Posur
In this paper we give an algorithmic description of Freyd categories that subsumes and enhances the usual approach to finitely presented modules in computer algebra. The upshot is…