MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms. Downloads, documentation.
Authored by
at
, Added: Mar 8, 2004
http://www.fmi.uni-passau.de/algebra/projects/mas.php3