Symbolic Mathematics System Evaluators (extended abstract)

Richard J. Fateman. Symbolic Mathematics System Evaluators (extended abstract). In ISSAC. pages 86-94, 1996. [doi]

Abstract

Abstract is missing.