From: John Verzani (verzani@math.washington.edu)
Date: 09/14/93


From: verzani@math.washington.edu (John Verzani)
Subject: Re: Mathmatica like package for linux?
Date: 14 Sep 1993 17:43:14 GMT

The following information is culled from the Notices of the American Mathematical
Society, July/August 1993

This is a list of packages availiable for free via anonymous FTP, which have a
chance of running on a Linux system:

Computer Algebra Systems:

FORM, General purpose, designed for BIG problems, batch-like interface.
        nikhef.nikhef.nl

MAS: an experimental computer algebra system combining imperative programming
facilities with algebraic specification capabilities for design and stucy of
algebraic algorithms.
        alice.fmi.uni-passau.de

Mock-Mma: It does Matematica (deliberate mispelling). Runs with common LISP
        peoplesparc.berkeley.edu

Weyl: Intended to be incorporated into larger, more specialized systems.
        ftp.cs.cornell.edu:/pub/Weyl

JACAL: needs Scheme LISP.
        prep.ai.mit.edu pub/gnu/jacal/jacal1a0.tar.Z

GNU-Calc: runs inside emacs.
        FTP from any GNU site (like above)

MuPAD: General purpose, source available for library routines, graphics support,
source code debugger, on-line hypertext help system. (If any has the Xwindows
implementation working could you contact me). Need license.
        athene.uni-paderborn.de:unix/MuPAD

Algebra and Number Theory:

PARI: Number theoretical computations, source available, ASCII and X windows
graphics.
        conatact: pari@mizar.greco-prog.fr, or try math.ucla.edu:/pub/pari

Magma: system designed to support computation in algebra, number theory, geometry
and algebraic combinatorics... Distribution to start July 1993.
        contact John Cannon john@math.su.oz.au

KANT: Computational algebraic number theory. needs C-compiler
        contact pohst@ze8.rz.uni.duessldorf.de or ftp from
        134.99.128.3:kant/V2R2.tar.Z

KAN: system for doing algebraic analysis by computer based on computations of
Groebner bases.
        gradient.scitec.kobe-u.ac.jp

SIMATH: written in C and contains an interactive calculator, and many C-functions
over algebraic structures. Contains a handbook in English.
        ftp.math.uni-sb.de or ftp.math.orst.edu

GANITH: is an algebraic geometry toolkit for computing and visualization of
solutions to systems of algebraic equations. Runs under X11, written in Common
LISP and C.
        cs.purdue.edu:pub/avr/ganith-src.tar.Z

There is a more thorough description in the file Symbolic_Math located at
math.berkeley.edu:pub/

The following unsupported programs are also mentioned: SAINT, FORMAC, ALPAK,
ALTRAN, MATHLAB, SIN, SAC, CAMAL, ScratchPad, MuMath, TRIGMAN, ANALITIK,
SMP,CCALC. These may or may not be available via anonymous FTP. Check archie.