Michael.Abshoff at fsmath.mathematik.uni-dortmund.de
Sun Mar 26 14:34:37 CEST 2006
> Maude (http://maude.cs.uiuc.edu) uses GMP too.
If you get a chance to update the webpage you might as well add the
CoCoALib (http://cocoa.dima.unige.it/) - which unlike its predecessor
(CoCoA 4.5) is gpled. CoCoA 4.5 is only free as in beer :(. We are
currently writing a replacement for CoCoA 4.5 that will be relased under
More information about the gmp-discuss