Iris: design of an user interface program for symbolic algebra.

Benton L. Leong

Browse the full ISSAC paper archive.