Symbolic Mathematics System Evaluators (extended abstract).

Richard J. Fateman

Browse the full ISSAC paper archive.