MAS: The Modula-2 Algebra System
Edit Page
Report
Scan day: 09 February 2014 UTC
8
Virus safety - good
Description: MAS is an experimental computer algebra system with algebraic specification capabilities for the design and study of algebraic algorithms. Downloads, documentation.
MAS (Modula-2 Algebra System) is an experimental computer algebra system, developed at the University of Passau. 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.
Size: 530 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | MAS: Modula-2 Algebra System |
| Keywords: | |
| Description: | |
| IP-address: | 134.155.100.4 |
WHOIS Info
| NS | |
| WHOIS | Status: connect |
| Date | Changed: 2011-01-25T09:28:07+01:00 Changed: 2003-05-30T11:31:10+02:00 Changed: 2010-09-22T15:09:06+02:00 |