SAL Home MATH Computer Algebra System

MAS

MAS, the 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 Groebner 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.

Current Version:   1.0

License Type:   Free for Non-Commerical Use

Home Site:
http://alice.fmi.uni-passau.de/mas.html
http://krum.rz.uni-mannheim.de/mas.html

Source Code Availability:

Yes

Available Binary Packages:

  • Debian Package: No
  • RedHat RPM Package: No
  • Other Packages: tar.gz file

Targeted Platforms:

HP, OS/2, NextStep, RS/6000, Sun Sparc.

Software/Hardware Requirements:

None

Other Links:
http://suparum.rz.uni-mannheim.de/info/soft.html (MAS Linux site in Trumpf Software)
ftp://alice.fmi.uni-passau.de/pub/ComputerAlgebraSystems/mas (main ftp site)
ftp://alice.fmi.uni-passau.de/pub/ComputerAlgebraSystems/mas/README (README file)

Mailing Lists/USENET News Groups:

None

User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Mathematics   |   Computer Algebra Systems


Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.