Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions

Simon Gray, Norbert Kajler, Paul S. Wang. Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions. Journal of Symbolic Computation, 25(2):213-237, 1998.

Abstract

Abstract is missing.