Login / Signup

A Computer Algebra System Based on Ordersorted Algebra.

Anthony C. HearnEberhard Schrüfer
Published in: J. Symb. Comput. (1995)
Keyphrases