Description: MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms. Downloads, documentation.