SMP - A Symbolic Manipulation Program.

Chris A. Cole, Stephen Wolfram

Browse the full ISSAC paper archive.