MAS

MAS (Modula-2 Algebra System) is an experimental computer algebra system. MAS combines imperative programming facilities with algebraic specification capabilities for design and study of algebraic algorithms. It contains a large library of implemented up-to-date Grvbner basis algorithms for nearly all algebraic structures where such methods exist. MAS further includes algorithms for real quantifier elimination, parametric real root counting, and for computing in (noncommutative) polynomial rings.

Detailed information and software can be found on the MAS web-site

MAS Home Page

webmaster@can.nl

MAS

Last updated: May 7, 1998