Advances and Trends in the Design and Construction of Algebraic Manipulation Systems.

Richard J. Fateman

Browse the full ISSAC paper archive.