A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups.

Dallas Lankford, Gregory Butler II, A. M. Ballantyne

Browse the full CADE paper archive.