The basis of a computer system for modern algebra.

John J. Cannon

Browse the full ISSAC paper archive.