
			Computer Algebra Systems

						by Paulo Ney de Souza
						   Department of Mathematics
						   University of California
						   Berkeley CA 94720

This is the  list of  currently  developed  and   distributed   software  for 
symbolic mathematical applications. It was started a few years ago by  Booker
Bense of the UC San Diego Supercomputer Center. He is responsible for     the 
lay-out and for the idea of collecting this database. Most of the information 
here is obtained from the developers and we try to keep it up to date, a  not 
so easy task. Any errors in the list are mine and I would like to hear  about 
them. Electronic mail concerning this database and additions to it could   be 
sent to:

			ca@math.berkeley.edu

No information is supplied on systems no  longer being supported like: SAINT, 
FORMAC, ALPAK, ALTRAN, MATHLAB, SIN, SAC, CAMAL, ScratchPad, MuMath, TRIGMAN, 
ANALITIK, SMP or CCALC.

A more thorough description and detailed information for each of the  systems 
below, is available by "anonymous"  FTP in the machine  math.berkeley.edu  in 
the directory: pub/Symbolic_Soft. An updated version of this file can also be 
obtained from the same directory.    No particular recommendation is made for 
any of the systems listed in here. If you want the commercial packages prices 
contact the developers. Programs are listed in (approximately) reverse  order 
of the number  of  machines they run on, in each class,   general     purpose  
systems first.


GENERAL PURPOSE
===============
 
Maple:: 
	Type:      Commercial
	Machines:  Unix workstations (DEC, HP, IBM, MIPS, Sun, SGI, Apollo), 
                   PC-386 (DOS & Unix), Mac, Amiga, Atari, AT&T 3B2, Gould, 
		   Convex, NCR, Pyramid, Sequent, Unisys and Cray's.
	Contact:   Waterloo Maple Software, 450 Phillip Street,
        	   Waterloo, Ontario, Canada     N2L 5J2
		   info@maplesoft.on.ca
        	   Phone: 519-747-2373
	Version:   5 release 2.
	Comments:  General purpose , source available for most routines ,
		   graphics support in 5.0. A demo of the program for PC-DOS
		   can be obtained from anonymous FTP at
		   wuarchive.wustl.edu:/edu/math/msdos/modern.algebra/maplev.zip
		   Student version available for MAC and PC's.

Mathematica::
	Type: 	   Commercial
	Machines:  Macintosh, MS-DOS 386 and higher, Unix workstations (Sun,
		   HP, DEC, IBM, Apollo, Sony, Silicon Graphics), 386-Unix, 
		   NeXT, CONVEX, Data General, MIPS & Sony.
	Contact:   Wolfram Research, Inc.
		   100 Trade Center Drive, Champaign IL 61820-7237
 	           info@wri.com, Phone: 1-800-441-MATH  & 217-398-0700
		   Fax: 217-398-0747
	Version:   2.1
	Comments:  General purpose, Notebook interface on Next, Mac, 
	           nice graphics. Packages include: MathTensor for Tensors
		   and NCAlgebra for Non-Commutative Algebra  & Combinatorica
		   for Graph Theory. Student version available for MAC and PC's.

Macsyma:: 
   	Type:      Commercial
    	Machines:  Sun-3, Sun-4 (SPARC), VAX (UNIX, ULTRIX and VMS), Apollo, 
		   HP 9000, DEC RISC, Symbolics computers, RS6000, PC386/387 
	           and 486 (no SX's) PC's.
    	Contact:   Macsyma Inc,  20 Academy St., Arlington MA 02174-6436
		   info-macsyma@macsyma.com Phone: 800-MACSYMA Fax: 617-646-3161
    	Version:   depends on machine: 417.100 is the latest (for Sun-4, HP, 
		   DEC RISC, Sun and RS6000), 417.125 delta 2 for PC's
   	Comments:  General purpose, many diverse capabilities, one of the 
		   oldest around. Includes proprietary improvements from 
		   Symbolics and Macsyma Inc. Descendant of MIT's Macsyma.

DOE-Macsyma:
	Type:      Distribution fee only
	Machines:  GigaMos, Symbolics, and TI Explorer Lisp machines.  The NIL 
                   version runs on Vaxes using the VMS system.  The public 
                   domain Franz Lisp version, runs on Unix machines, including 
                   Suns and Vaxes using Unix.
	Contact:   ESTSC - Energy Science & Technology Software Center 
		   P. O. Box 1020 Oak Ridge TN 37831-1020
		   Phone: 615-576-2606
	Comments:  Help with DOE-Macsyma; general and specific help with issues
		   such as support, new versions, etc: lph@paradigm.com
                   Leo Harten from Paradigm Associates, Inc. 29 Putnam Avenue, 
		   Suite 6, Cambridge, MA 02139 617-492-6079.

Maxima::
	Type:	   License for a fee. Get license from ESTSC before download.
	Machines:  Unix workstations (Sun, MIPS, HP, PC's) and PC-DOS (beta).
        Contact:   wfs@rascal.utexas.edu (Bill Schelter)
	Version:   4.155
	Comments:  General purpose -  MIT Macsyma family. Common Lisp 
                   implementation by William F. Schelter, based on Kyoto
		   Common Lisp. Modified version of DOE-Macsyma available
		   to ESTSC (DOE) sites. Get the license from ESTSC (Phone:
		   615-576-2606) and then download the software from 
		   DOS: math.utexas.edu:pub/beta-max.zip   or
		   UNIX: rascal.ics.utexas.edu:pub/maxima-4-155.tar.Z
		   Currently their charge for 1 machine license is $165 to
		   universities. Site licenses are also available.

Aljabr::
	Type:      Commercial
	Machines:  Mac's with 4Meg of RAM. 
	Contact:   Fort Pond Research, 15 Fort Pond Road, Acton MA  01720 US
		   aljabr@fpr.com, Phone: 508-263-9692
	Version:   1.0
	Comments:  MIT Macsyma family descendant, uses Franz LISP.

Paramacs::
	Type:      Commercial 
	Machines:  VAX-VMS, Sun-3, Sun-4, (SGI and Mac's on the works)
	Contact:   Paradigm Associates, Inc.
		   29 Putnam Avenue, Suite 6, Cambridge, MA 02139
	           lph@paradigm.com, Phone: 617-492-6079
	Version:   1
	Comments:  Improved SHARE library and enhanced ODE solver (over 
		   DOE-Macsyma) and animated graphics. Maintenance, phone 
		   services, and site licensing available.

Vaxima::
	Type:	   Distribution fee only
	Machines:  VAX-Unix
        Contact:   ESTSC (see DOE-Macsyma above)
	Comments:  General purpose -  MIT Macsyma family descendant.
		   Includes source and binaries with assembler for Macsyma 
		   and Franz Lisp Opus 38

Reduce::
	Type:      Commercial
	Machines:  Cray Y-MP down to Mac's and PC's and Atari's.
	Contact:   Anthony C. Hearn, RAND, 1700 Main Street
	           P. O. Box 2138, Santa Monica CA 90407-2138 U.S.A.
		   reduce@rand.org
		   Phone: 310-393-0411 Ext. 6615  Fax: 310-393-4818
	Version:   3.4.1
	Comments:  General purpose 

SENAC::
        Type:      Commercial
        Machines:  Sun-3, Sun-4 (SPARC), VAX (UNIX, ULTRIX and VMS), PC (Sp93).
        Contact:   senac@ulcc.ac.uk, senac@waikato.ac.uk
                   For Europe:			       For rest of the world:
                   Minaz Punjani		       Kevin. A. Broughan
                   University of London Comp Centre    Mathematical Soft Project
                   20 Guilford Street		       University of Waikato
                   London WC1N 1DZ		       Private Bag 3105
                   England			       Hamilton, New Zealand
                   Tel: [+44] 71 405 8400	       Tel: [+64] 7 856 2889
                   Fax: [+44] 71 242 1845	       Fax: [+64] 7 838 4155
        Version:  5.0
        Comments: General purpose software environment for numeric and algebraic
		  computing. An interactive computer algebra host language, an 
		  interactive library including Numerical Recipes, graphics 
		  library with postscript output, a fully automated symbolic
                  numeric interface to the NAG library, a symbolic graphic 
		  interface to the NAG Graphics library. 

FORM::
	Type:      Version 1 is public domain, Version 2 is commercial
	Machines:  MS-DOS, AtariSt, Amiga, Mac, Sun3, SunSparc, Apollo, NeXT,
 		   VAX/VMS, VAX/Ultrix, DECStation, HP, IBM Risc, IBM 3090,
		   MIPS, Alliant, Gould and SGI.
	Contact:   t68@nikhef.nl (Jos Vermaseren)
		   Binary versions of version 1 are available
 		   by anonymous FTP from nikhef.nikhef.nl (192.16.199.1)
		   Version 2 is commercially distributed by: 
		   CAN, Kruislaan 413, 1098 SJ Amsterdam, 
		   The Netherlands
		   can@can.nl  Fax: [+31] 20 592-4199 Phone: [+31] 20 592-6050
	Version:   1 and 2.
	Comments:  General purpose , designed for BIG problems , batch-like
 		   interface.

Axiom::
	Type:      Commercial
	Machines:  SUN Sparc, IBM RS 6000's and other IBM platforms and more 
		   to come in 1993.
	Contact:   USA:				Rest of the world:
		   ryan@nag.com 		themos@nag.co.uk
                   NAG Inc 			NAG Ltd
		   1400 Opus Place, Suite 200 	Wilkinson House
		   Downers Grove, Il 60515-5702 Jordan Hill Rd.
		   Phone: 708-971-2337 		Oxford OX2 8DR
		   Fax:   708-971-2706		United Kingdom
        					Phone: [+44] 865-51-1245
        					Fax:   [+44] 865-31-0139
	Version:   1.1
	Comments:  General purpose.

Derive::
	Type:      Commercial 
	Machines:  Runs on PC's and HP 95's.
	Contact:   Soft Warehouse Inc. 3660 Waialae Ave, Suite 304
      		   Honolulu Hi 96816-3236 Phone: 808-734-5801
        Version:   2.53
	Comments:  Very robust, gets problems that other larger programs fail 
		   on. Low cost. Runs on the tiny palmtop HP 95 and on meager
		   like PC XT.
		

Theorist::
	Type:      Commercial
	Machines:  Mac's
        Contact:   Prescience Corp, 939 Howard St #333, San Francisco, CA 94103
                   prescien@well.sf.ca.us, Phone: 415-543-2252 Fax: 415-882-0530
	Version:   1.11
	Comments:  General purpose, good graphics. If you like the Mac interface
 		   you'll love this. Fixed precision (19 digits). Runs on small 
                   Macintoshes.   

MAS::
	Type:      Anonymous FTP
	Machines:  Atari ST (TDI and SPC Modula-2 compilers), IBM PC/AT 
		   (M2SDS and Topspeed Modula-2 compilers) and Commodore 
		   Amiga (M2AMIGA compiler).  
	Contact:   H. Kredel. Computer Algebra Group
		   University of Passau, Germany
        Version:   0.60
	Comments:  MAS is an experimental computer algebra system combining 
		   imperative programming facilities with algebraic 
		   specification capabilities for design and study of algebraic
		   algorithms. MAS is available via anonymous FTP from: 
    		   alice.fmi.uni-passau.de = 123.231.10.1 

Mock-Mma::
	Type:      Anonymous FTP
	Machines:  Anywhere running Common LISP.
	Contact:   Richard Fateman 
		   Department of Comp. Science
		   University of California 
		   Berkeley CA 94720
		   fateman@cs.berkeley.edu
        Version:   1.5
	Comments:  It is a framework of a parser, display, polynomial 
		   manipulator, and a few other pieces, that allow one to 
		   program other pieces of a common-lisp systems for computer 
		   algebra. The pieces supplied are roughly consistent with the 
		   conventions adopted by the Mathematica system.  Available
		   through anonymous FTP from from peoplesparc.berkeley.edu:
		   /pub directory.

Weyl::
	Type:      Anonymous FTP 
	Machines:  Needs Common LISP.
	Contact:   rz@cs.cornell.edu (Richard Zippel)
        Version:   4.275
	Comments:  Intended to be incorporated in larger, more specialized
		   systems. Available from ftp.cs.cornell.edu:/pub/Weyl

FLAC::
	Machines:  IBM PC's (DOS)
	Contact:   Victor L. Kistlerov, Institute for Control Sciences, 
		   Profsoyuznaya 65, Moscow, USSR
	Comments:  Functional language

JACAL:: 
	Type:      Gnu CopyLeft
	Machines:  Needs Scheme Lisp
	Contact:   Aubrey Jaffer, 84 Pleasant St. Wakefield MA 01880, USA.
	Version:   1a0
	Comments:  An IBM PC version on floppy for $99 is available from 
 		   Aubrey Jaffer, 84 Pleasant St. Wakefield MA 01880, USA.
		   There is a Scheme implementation available from the same 
		   sites as JACAL which will run it on just about any machine 
		   with a C compiler (Amiga, Atari-ST, MacOS, MS-DOS, OS/2, 
		   NOS/VE, VMS, Unix and similar systems). FTP sites:
		   altdorf.ai.mit.edu:archive/scm/jacal1a0.tar.Z
		   prep.ai.mit.edu:pub/gnu/jacal/jacal1a0.tar.Z
		   nexus.yorku.ca:pub/scheme/new/jacal1a0.tar.Z

GNU-calc::
	Type:      GNU copyleft
	Machines:  Where Emacs runs.
	Contact:   Free Software Foundation
	Comments:  It runs inside GNU Emacs and is written entirely in Emacs
		   Lisp. It does the usual things: arbitrary precision integer,
		   real, and complex arithmetic (all written in Lisp), 
		   scientific functions, symbolic algebra and calculus, 
		   matrices, graphics, etc. and can display expressions with 
		   square root signs and integrals by drawing them on the 
		   screen with ASCII characters. It comes with well written 
		   600 page on-line manual. You can FTP it from any GNU site.

Schoonschip::
        Type:      Anonymous FTP.
        Machines:  Amiga, Atari, Sun-3, NeXT, MAC II (680x0 machines).
        Contact:   M. G. J. Veltman   or   David N. Williams
		   Physics Department, U. of Michigan, Ann Arbor MI 48109-1120
		   veltman@umiphys.bitnet or veltman@mich.physics.lsa.umich.edu
		   david.n.williams@um.cc.umich.edu, dwilliams@umiphys.bitnet or
		   75706.3124@compuserve.com
        Version:   91
        Comments:  Developed at CERN by Veltman and Strubbe, in the sixties to 
		   tackle problems in quantum electrodynamics on the CDC 6000
		   machine. Written in 600x0 assembler, it is relatively bug 
		   free, very fast, capable and	efficient in its use of machine 
		   resources. Available from the server "archive.umich.edu" in
		   the directory "physics/schip".


MuPAD::
        Type:      Anonymous FTP (free, but not PD; registration required)
        Machines:  Unix workstations (IBM, Sun),
                   Prereleased Versions exist for PC-386 (DOS & Unix), Mac,
                   Sequent. Please call for others.
        Contact:   MuPAD-Distribution, Fachbereich 17 Mathematik-Informatik,
                   Univ. of Paderborn, Warburger Str. 100,
                   D 4790 Paderborn, Germany.
                   E-mail: MuPAD-distribution@uni-paderborn.de
                   Phone: +49-5251-602633
        Version:   1 release 1.
        Comments:  General purpose, source available for library routines,
                   graphics support, source code debugger, on-line hypertext
                   help system.  Obtained by anonymous FTP at
                   athene.uni-paderborn.de:unix/MuPAD


GROUP THEORY
============

Cayley::
	Type:      Cost recovery
	Machines:  Sun-3, SUN 4, IBM AIX and VM machines, Apollo, DEC
	           VAX/VMS, Mac running A/UX 2.01 or higher and Convex.
	Contact:   Computational Algebra Group
                   University of Sydney 
		   NSW 2006 Australia
	           cayley@maths.su.oz.au 
		   Phone: [61] 02-692-3338, Fax: [61] 02-692-4534
	Version:   3.8.3
	Comments:  Designed for fast computation with algebraic and
 		   combinatorial structures such as groups, rings,
 		   fields, modules and graphs. Although it began as a
 		   group theory system it has recently evolved into a
 		   general (abstract) algebra system.

GAP::
	Type:      Anonymous FTP (free, but not PD; basically GNU copyleft)
	Machines:  All Unix workstations, ATARI ST, IBM PC and MAC (3.1 only)
        Contact:   gap@samson.math.rwth-aachen.de
	Version:   3.2
	Comments:  Group theory calculations. Available from the FTP sites: 
		   samson.math.rwth-aachen.de, math.ucla.edu, dimacs.rutgers.edu
		   wuarchive.wustl.edu & pell.anu.edu.au.  Very samall kernel
		   and most of the program written in the GAP language (like
		   Maple), very complete documentation and extensive Group 
		   Theory library. The MAC version is available from
		   ccu.umanitoba.ca:/pub/mac/MacGAP31.sea.hqx


ALGEBRA & NUMBER THEORY
=======================

PARI::
	Type:      Anonymous FTP  
	Machines:  Most  Unix workstations, Mac and NeXT
	Contact:   pari@mizar.greco-prog.fr
	Version:   1.35
	Comments:  Number theoretical computations, source available, key 
		   routines are in assembler, ASCII and Xwindows graphics. 
		   PC-DOS version available from anonymous FTP at 
		   wuarchive.wustl.edu:/edu/math/msdos/modern.algebra/pari386
		   or  math.ucla.edu (128.97.64.16) in the directory /pub/pari.

Macaulay::
	Type:      Anonymous FTP
	Machines:  Sun, DEC, Mac, binary Mac versions available
	Contact:   Dave Bayer (Barnard Coll.)    Mike Stillman (Cornell Univ.)
    	           Department of Mathematics     Department of Mathematics
    		   Columbia University           Cornell University
    		   New York, NY 10027            Ithaca, NY 14853
    		   212-854-2643, 864-4235        607-255-7240, 277-1835
    		   bayer@cunixa.cc.columbia.edu  mike@mssun7.msi.cornell.edu
	Version:   3.0
	Comments:  A system for computing in algebraic geometry and commutative 
		   algebra (polynomial rings over finite fields). Available from
		   anonymous FTP to zariski.harvard.edu (128.103.1.107)


Magma::
	Contact:   John Cannon (john@maths.su.oz.au)
		   Computational Algebra Group at the University of Sydney
	Comments:  The system is designed to support computation in algebra, 
		   number theory, geometry and algebraic combinatorics. It
		   has an advanced functional programming language with many 
		   novel features designed for concise and efficient 
		   specification of algebraic algorithms. The kernel has 
		   (coded in) the fundamental algorithms for ring theory 
		   (polynomial rings, matrix rings, integer rings), field 
		   theory (general algebraic number fields -- KANT V.2, finite 
		   fields, real and complex fields), module theory, group 
		   theory (fp groups, permutation groups, soluble groups and 
		   matrix groups) and algebraic combinatorics (coding theory 
		   and graph theory). Distribution will start July 93.


KANT::
	Type:      Anonymous FTP
	Machines:  Any machine with a C-compiler; tested on: Siemens 7.580-S, 
		   Atari, Apollo, Sun-3.
	Contact:   KANT Group
		   Prof. Dr. M. E. Pohst / Dr. Johannes Graf v. Schmettow 
		   Mathematisches Institut, Heinrich-Heine-Universit\"at 
		   Universit\"atsstr. 1, D-4000 D\"usseldorf 1 
		   pohst@ze8.rz.uni-duesseldorf.de , 
		   schmetto@ze8.rz.uni-duesseldorf.de  or
		   JUENTGEN@ze8.rz.uni-duesseldorf.de (Max Juentgen).
        Version:   2 Rev. 2.
	Comments:  KANT (Computational  Algebraic  Number  Theory) is a
		   subroutine  package for algorithms  from geometry of 
		   numbers and  algebraic number theory. There are  two 
		   versions of  KANT: Ver. 1 is written  in Ansi-Fortran 77,
		   has been superseded by Ver. 2 built on the Cayley 
		   Platform and written in Ansi-C. Available from the site:
		   134.99.128.3:kant/V2R2.tar.Z

LiE::
	Type:      Commercial 
	Machines:  Unix workstations (Sun, DEC, SGI, IBM), NeXT, PC's,
                   Atari and Mac's.
	Contact:   CAN Expertise Centre, Kruislaan 413, 
                   1098 SJ Amsterdam, The Netherlands
	           lie@can.nl, Phone: [31] 20 592-6050,  Fax: [31] 20 592-4199
	Version:   2
	Comments:  Lie group computations

KAN::
	Type:	   Anonymous FTP
	Machines:  Sun SparcStation.
	Contact:   Nobuki Takayama, Department of Mathematics 
		   Kobe University, Japan
		   kan@math.s.kobe-u.ac.jp
	Version:   0.920420
	Comments:  Kan is a system for doing algebraic analysis by computer 
		   based on computations of Groebner bases. It does 
		   computations in the rings of polynomials, differential 
		   operators, difference operators and q-difference operators.
		   Available by anonymous FTP from gradient.scitec.kobe-u.ac.jp
		   (133.30.90.19) in the directory public/Kan.

SIMATH::
	Type:      Anonymous FTP 
        Machines:  Sun 3/140 under SunOS 3.4; Sun 3/80 under SunOS
                   4.0.3; Sun SPARCstation under SunOS 4.1.1;
                   Apollo DN 3000 under SR10.1; Apollo DN 4500
                   under SR10.1; Apollo DN 10000 under SR10.3;
                   Siemens MX2 under SINIX V2.0; Siemens MX2+ under
                   SINIX V5.2, Siemens MX300 under SINIX V5.2. and
                   hopefully other 32-bit UNIX machines.
        Contact:   SIMATH-Gruppe, Lehrstuhl Prof. Dr. H.G. Zimmer,
                   FB 9 Mathematik, Universitaet des Saarlandes,
                   D-W-6600 Saarbruecken, Germany.
                   e-mail: simath@math.uni-sb.de,
                   phone: 0681/302-2206.
        Version:   3.6.1
        Comments:  SIMATH is written in C, contains an interactive
                   calculator (simcalc) and many C-functions over
                   algebraic structures as arbitrary long integers,
                   rational numbers, floating point numbers, poly-
                   nomials, Galoisfields, matrices, elliptic curves,
                   algbraic number fields, modular integers etc.
                   Version 3.6.1 contains a handbook written in
                   English language.
                   Available from: ftp.math.uni-sb.de (134.96.32.23)
                   or ftp.math.orst.edu (128.193.80.160). You have to 
		   get one extra file by an Email-Server, see the 
		   installation hints.

UBASIC::
	Type:	   Anonymous FTP
	Machines:  IBM PC's and compatibles.
	Contact:   Yuji Kida, kida@rkmath.rikkyo.ac.jp
	Version:   8.30
	Comments:  BASIC-like environment for number theory. In the collection
		   of programs written for it one can find: MALM (Collection of 
		   UBASIC Number Theory Programs - malm.zip)
		   by Donald E. G. Malm (Department of Mathematical Sciences,
		   Oakland University, Rochester, MI 48309-4401, 
		   malm@vela.acs.oakland.edu, Phone: 313-370-3425) including: 
		   Baillie-Wagstaff Lucas pseudoprime test, Algorithm for 
		   Chinese remaindering, Elliptic curve method to factorize n, 
		   Fermat's method of factoring, General periodic continued 
		   fraction to quadratic routine, Evaluates Carmichael's 
		   function & D. H. Lehmer's method of solving x^2 = q (mod p). 
		   UBMPQS (Prime factorization program for numbers over 80 
		   digits (ubmpqs32.zip)). Available from the WURST Archives 
		   (wuarchive.wustl.edu).

Numbers::
	Type:      Free but not Public Domain, registration required.
	Machines:  PC-DOS
	Contact:   Ivo Duentsch                 Phone:   [49] 541-969-2346
	           Rechenzentrum                  Fax:   [49] 541-969-2470
          	   Universitat Osnabrueck      E-mail:   duentsch@dosuni1.bitnet
          	   Postfach 4469
          	   W 4500 Osnabrueck GERMANY
        Version:   202c
	Comments:  Numbers is a calculator for number theory. It performs 
	   	   various routines in elementary number theory, some of  
		   which are also usable in algebra or combinatorics.
	  	   Available in the anonymous FTP in ftp.rz.Uni-Osnabrueck.de  
		   in the directory /pub/msdos/math

CoCoA::
	Type:      Anonymous FTP
	Machines:  Mac's; PC's on the works.
	Contact:   Gianfranco Niesi
		   Dipartimento di Matematica
		   Via L. B. Alberti, 4 
		   I-16134   Genova  Italy
	           cocoa@igecuniv.bitnet
	Version:   1.5
	Comments:  Computations in commutative algebra. Available on the 
		   anonymous FTP at  ftp.dm.unipi.it:/pub/alpi-cocoa/cocoa
		   or diskettes (2) sent in a self-addressed to the author.

FELIX::
	Type:	   Anonymous FTP
	Machines:  PC MS-DOS
	Contact:   Joachim Apel and Uwe Klaus, Universit\"at Leipzig,
		   Augustusplatz 10-11, O-7010 Leipzig, Germany
		   apel@informatik.uni-leipzig.dbp.de
		   klaus@informatik.uni-leizig.dbp.de
	Version:   2.5
	Comments:  FELIX is designed for computations in and with algebraic 
		   structures. The structures implemented so far are commutative
		   polynomial rings, non-commutative algebras as well as modules
		   over them. Available by anonymous FTP from canb.can.nl in
		   the directory pub/felix.


Galois::
	Type:      Commercial
	Machines:  IBM-PC DOS
	Contact:   CIFEG Inc., Kalkgruberweg 26, A-4040 Linz, Austria
	Comments:  Algebra and number theory microcomputer  written by
   		   R. Lidl, R. W. Matthews, and R. Wells from the U. Tasmania 
		   in Turbo Pascal v3.0.

GANITH::
	Type:      Anonymous FTP
	Machines:  Any system with vanilla Common Lisp, X 11, and has at least 
		   a rudimentary Lisp/C interface.
	Contact:   Chanderjit Bajaj & Andrew Royappa 
                   Department of Computer Science, Purdue University
                   West Lafayette, IN 47907
		   bajaj@cs.purdue.edu & royappa@cs.purdue.edu
	Comments:  GANITH is an algebraic geometry toolkit, for computing and 
		   visualization of solutions to systems of algebraic equations.
                   It is written in Common Lisp and C, and runs under version
  		   11 of the X window system.
  		   GANITH is available from the anonymous FTP at 
		   cs.purdue.edu in the file /pub/avr/ganith-src.tar.Z


TENSOR ANALYSIS
===============

MathTensor::
	Type:      Commercial
	Machines:  All computers that run Mathematica 1.2, 2.0 or greater.
	Contact:   MathSolutions, Inc., P. O. Box 16175
		   Chapel Hill, NC 27516, USA
   		   Phone and Fax: 919-967-9853
	           mathtensor@wri.com
	Version:   2.1.5
	Comments:  Elementary and advanced tensor analysis.  Adds
		   more than 250 functions and objects to Mathematica.	

Ricci::
	Type:      Anonymous FTP from otter.stanford.edu
	Machines:  All computers that run Mathematica 2.0 or greater.
	Contact:   Jack Lee  (lee@math.washington.edu)
                   Department of Mathematics
                   University of Washington
                   Seattle, WA 98195
                   Fax:      206-543-0397
	Version:   1.0
	Comments:  Mathematica package for doing tensor computations in
                   differential geometry, including coordinate-free tensor
                   operations as well as indexed tensors with dummy indices
                   and the summation convention.

STENSOR::
	Type:	   Symbolic contribution of $250
	Machines:  IBM 3090, VAX DECStation, Sun, Apollos, Orion, Atari & Amiga,
		   IBM 386, 486 and MacIntosh in the works.
	Contact:   Lars Hornfeldt, Physics Department, University of Stockholm
                   Vanadisvagen 9, S-113 46 Stockholm, Sweden 
	           lh@vand.physto.se, Phone [46] 8-837114
        Version:   2.31
	Comments:  System for tensor calculus and noncommutative algebra.
		   It includes the systems SHEEP/CLASSI.

DIFFERENTIAL EQUATIONS
======================

LIE::
	Type:      Public Domain
	Machines:  PC-DOS
	Contact:   A. K. Head (head@rivett.mst.csiro.au)
		   CSIRO Division of Materials Science and Technology
		   Melbourne Australia   or
		   Locked Bag 33, Clayton, Vic 3168, Australia
		   Phone: 03-542-2861 Telex: AA 32945 Fax: 03-544-1128
        Version:   3.3
	Comments:  LIE is a program written in the MuMath language (not a 
		   package) for Lie analysis of differential equations. 
		   Available from anonymous FTP at 
		   wuarchive.wustl.edu: /edu/math/msdos/adv.diff.equations/lie33

DELiA::
	Type:      Informal distribution
	Machines:  IBM PC's (DOS)
	Contact:   A. V. Bocharov, Program Systems Institute, 
		   USSR Academy of Science, Pereslavl, 
                   P. O. Box 11, 152140 USSR, Tlx: 412531 BOAT
	Comments:  Differential equation computations

ODE::
	Type:      Commercial and Public Domain versions.
	Machines:  IBM PC's (DOS)
	Contact:   Keith Briggs (kbriggs@maths.adelaide.edu.au)
		   Department of Applied Mathematics
		   University of Adelaide, South Australia 5005
		   Phone: (08) 303 5577    Fax: (08) 232 5670
		   or  PO Box 75       Heidelberg West        Australia 3081
	Version:   2.6
	Comments:  Differential equation computations, easy-to-use menus with
		   mouse support. Support for CGA, EGA and VGA with outputs in
		   LaTeX and PostScript for graphics. For the comercial version
		   contact the author; the public Domain version is available at
		   wuarchive.wustl.edu:edu/math/msdos/diff.equations/ode26.zip.


PC SHAREWARE
============

SymbMath::
	Type:      Shareware, student and advanced versions.
	Machines:  IBM PC
	Contact:   Dr Weiguang Huang, Dept. of Analytical Chemistry
	           University of New South Wales - Kensington, NSW 2033
		   Australia
		   Phone: [61] 2-697-4643, Fax: [61] 2-662-2835
	           w.huang@unsw.edu.au 
	Version:   2.2
	Comments:  Runs on plain (640k) DOS machines. The shareware version
		   is available in the file /calculator/sm22a.zip on the Wurst 
		   Archives. More capable versions are available by mail-order 
		   from the author. Also available from: rana.cc.deakin.edu.au 
		   as /huang/sm22a.zip, or by sending the following email	
		   /pdget mail pd:<msdos.calculator>sm22a.zip  to 
		   listserv@vm1.nodak.edu, or listserv@ndsuvm1.bitnet

CLA::
	Type:      Anonymous FTP
	Machines:  PC-DOS
	Contact:   Lenimar Nunes de Andrade (ccendm03@brufpb.bitnet)
                   UFPB - CCEN - Dep.  de Matema'tica
                   58.059 - Joa~o Pessoa, PB - BRAZIL
        Version:   2.0
	Comments:  A linear or matrix algebra package which computes
		   rank, determinant, row-reduced echelon form, Jordan 
		   canonical form, characteristic equation, eigenvalues, 
	 	   etc. of a matrix. Available from anonymous FTP at 
		   wuarchive.wustl.edu:/edu/math/msdos/linear.algebra/cla20.zip

XPL::
	Type:      Anonymous FTP
	Machines:  PC-DOS
	Contact:   David Meredith, Department of Mathematics
                   San Francisco State University
                   San Francisco, CA 94132
                   meredith@sfsuvax1.sfsu.edu
        Version:   4.0
	Comments:  Formerly called CCALC. Well-integrated graphics and some
		   (numerical) matrix manipulation routines. Intended for 
		   calculus students. Prentice Hall sells this with a book 
		   (ISBN 0-13-117441-X--or by calling 201-767-5937), but it 
		   is also available (without the manual but with a 
		   comprehensive help system) by anonymous FTP from 
		   wuarchive.wustl.edu: /edu/math/msdos/calculus/cc4-9206.zip.

AMP::
	Type:      Commercial, evaluation copy available by anonymous FTP
	Machines:  PC-DOS
	Contact:   Mark Garber 
     		   Cerebral Software, PO Box 80332, Chamblee, GA 30366
	           71571,2006@compuserve.com Phone: 404-452-1129
        Version:   3.0
	Comments:  The Algebraic Manipulation Program (AMP) is written in 
		   Modula-2 and is a symbolic calculation tool. AMP functions 
		   in an interpreter mode and program mode. It  has tensor 
		   manipulation using index notation.  The evaluation copy is
		   available in the anonymous FTP at:
		   ftp.rz.Uni-Osnabrueck.de:pub/msdos/math/amp30.zip

Mercury::
	Type:      Shareware
	Machines:  PC-DOS
	Contact:   Roger Schlafly, Real Software, PO Box 1680, Soquel, CA 95073
        	   Phone or Fax: 408-476-3550, 76646,323@compuserve.com
        	   TTDX08A@prodigy.com
        Version:   2.06
	Comments:  Limited in symbolic capabilities, but is extremely adept 
		   at numerically solving equations and produces publication
		   quality graphical output. This used to be Borland's Eureka!, 
		   but when Borland abandoned it, its original author started 
		   selling it as shareware under the name Mercury. Available
		   from anonymous FTP at 
		   wuarchive.wustl.edu:/edu/math/msdos/calculus/mrcry206.zip

PFSA::
	Type:      Public Domain
	Machines:  PC-DOS and a Unix non-interactive version.
	Contact:   Don Stevens, Courant Institute, 251 Mercer St., NY NY 10012
	           stevens@cims.nyu.edu, Phone: 212-998-3275
        Version:   5.46
	Comments:  Written if Fortran, it is very fast but is limited to 
		   polynomial algebra and calculus  The DOS version is available
		   from the anonymous FTP at wuarchive.wustl.edu:/edu/math/msdos
		   /modern.algebra/vol546.zip and the Unix version at 
		   math.berkeley.edu:pub/PFSA

Calculus::
	Type:      Shareware
	Machines:  PC-DOS with EGA
	Contact:   Byoung Keum, Dept. of Mathematics
		   University of IL.  Urbana, IL 61801.
        Version:   9.0
	Comments:  Program for Calculus and Differential Equations. It has
     		   symbolic diff. & integration (simple functions), graphs.
		   Very unstable program - no reason to use it, except for
		   price (suggested registration fee is $ 30.00).
		   Available from anonymous FTP at 
		   wuarchive.wustl.edu: /edu/math/msdos/calculus/calc.arc 


THEOREM PROVERS
===============

	Type:	   Anonymous FTP
	Machines:  SUN SparcStation under OpenWindows or X11, with 24 Megs
               	   of memory.
	Contact:   imps-request@linus.mitre.org
	Version:   1.0
	Comments:  IMPS is an interactive mathematical reasoning system and 
		   theorem prover developed at The MITRE Corporation. It is 
		   intended to provide organizational and computational support 		   for the traditional techniques of mathematical reasoning.  
		   The system consists of a data base of mathematics 
		   (represented as a network of axiomatic theories linked by 
		   theory interpretations) and a collection of tools for 
		   exploring, applying, extending, and communicating the 
		   mathematics in the data base.
		   It is available from math.harvard.edu:imps
