
[not very comprehensive list deleted]

There is a very comprehensive list in sci.math.symbolic, 
which detailed descriptions of many packages. 
(Especially you, Mark, should update your list :-) )
Here it is: 


			Available    Systems

This is the  list of  currently  developed  and   distributed  software  for 
symbolic math applications. No informations is supplied on systems no longer 
being supported like: SAINT, FORMAC, ALPAK, ALTRAN, MATHLAB, SIN, SAC, CAMAL, 
ScratchPad, MuMath, SHEEP, TRIGMAN, ANALITIK, SMP or CCALC.

For more detailed info on any of the systems below,  look into the directory
pub/Symbolic_Math in the anonymous FTP of "math.berkeley.edu". No particular 
recommendation is made for any of these.      If you want prices contact the 
company. Programs are listed by (aprox.) the reverse order of the number  of 
machines they run on, in each class, general purpose systems first.

If you have any information to add to this list (we know we are missing
MuPAD & FELIX) please send it to :

			ca@math.berkeley.edu
Paulo Ney de Souza
Department of Mathematics
University of California
Berkeley CA 94720 				desouza@math.berkeley.edu

GENERAL PURPOSE
===============
 
Maple:: 
	Type:      commercial
	Machines:  Most impressive list of machines I seen for a program:
                   workstations (DEC, HP, IBM, MIPS, Sun, SGI, Apollo), 
                   386 PC's, Mac, Amiga, Atari, AT&T 3B2, Gould, Convex,
                   NCR, Pyramid, Sequent, Unisys and Cray's.
	Contact:   maple@daisy.waterloo.edu
		   Waterloo Maple Software, 160 Columbia Street West,
        	   Waterloo, Ontario, Canada     N2L 3L3
        	   Phone: (519) 747-2373
	Version:   5 Release 1
	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

Mathematica::
	Type: 	   commercial
	Machines:  Cray YMP down to Mac's and PC's
	Contact:   info@wri.com, Phone: 1-800-441-MATH
		   Wolfram Research, Inc.
 	           100 Trade Center Drive, Champaign IL 61820-7237
	Version:   2.1
	Comments:  General purpose, Notebook interface on Next, Mac, 
	           nice graphics. 

Macsyma:: 
   	Type:      commercial
    	Machines:  Sun-3, Sun-4 (SPARC), VAX (UNIX and VMS), Apollo, 
		   HP 9000, DEC RISC, PC386/DOS, Symbolics computers, 
		   368/387 and 486 (no SX's) PC's.
    	Contact:   macsyma-service@macsyma.com, Phone: 800-MACSYMA
		   Macsyma Inc,  20 Academy St., Arlington MA 02174-6436
    	Version:   depends on machine: 417.100 is the latest (for Sun-4, HP, 
		   and DEC RISC), 417.125 for PC's
   	Comments:  General purpose, many diverse capabilities, one of the 
		   oldest around. Includes propietary 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 help with issues such as
	           obtaining support, new versions, etc: lph@paradigm.com
                   Leon Harten from Paradigm Assoc. Paradigm Associates, Inc. 
                   29 Putnam Avenue, Suite 6 Cambridge, MA 02139 (617) 492-6079.

Maxima::
	Type:	   Licence for a fee. Get licence from ESTC 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 licence from ESTSC (phone:
		   615-576-2606) and then dowload 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:   aljabr@fpr.com,  Phone: (508) 263-9692, Fort Pond Research.
                   15 Fort Pond Road, Acton MA  01720 US
	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:   lph@paradigm.com
	Version:   ???
	Comments:  ???

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

Reduce::
	Type:      commercial
	Machines:  All Unix workstations, a variety of mainframes, 
 	           MS-DOS/386/4Mbyte and Atari ST. 
	Contact:   reduce-netlib@rand.org
	Version:   3.34 
	Comments:  General purpose 

FORM::
	Type:      Public domain verison 1 , Version 2 commercial
	Machines:  Msdos, AtariSt , Mac, Sun3, Sun4/sparc, Apollo, NeXT,
 		   VAX/VMS, VAX/Ultrix , DECStation , and others
	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:   1 and 2.
	Comments:  General purpose , designed for BIG problems , batch-like
 		   interface 

Axiom::
	Type:      commercial
	Machines:  IBM RS 6000's and other IBM plataforms
	Contact:   ryan@nag.com,  Phone: (708) 971-2337 FAX: (708) 971-2706
                   NAG - Numerical Algorithms Group, Inc
		   1400 Opus Place, Suite 200, Downers Grove, Il 60515-5702
	Version:   ???
	Comments:  General purpose.

SIMATH::
	Type:      anonymous ftp 
	Machines:  Suns, Apollo DN and Siemens workstations.
	Contact:   simath@math.uni-sb.de
	Version:   3.5
	Comments:  General purpose

Derive::
	Type:      commercial 
	Machines:  Runs on PC's and HP 95's.
	Contact:   808-734-5801 
 		   Soft Warehouse Inc. 3615 Harding Ave, Suite 505
                   Honolulu, Hawaii 96816-3735
        Version:   2.01
	Comments:  Said to be very robust, gets problems that other larger
 		   programs fail on. Low cost. 

Theorist::
	Type:      commercial
	Machines:  Mac's
        Contact:   prescien@well.sf.ca.us, phone:(415)543-2252 fax:(415)882-0530
		   Prescience Corp, 939 Howard St #333, San Francisco, CA 94103
	Version:   1.11
	Comments:  General purpose , Graphics , If you like the mac interface
 		   you'll love this , fixed precision ( 19 digits ), runs on
 		   smaller mac's than MMA.

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 

MockMma::
	Type:      anonymous FTP from peoplesparc.berkeley.edu
	Machines:  Anywhere running Common LISP.
	Contact:   fateman@cs.berkeley.edu
        Version:   ???????
	Comments:  It does Matematica (or I mispelled that!).

Weyl::
	Type:      anonymous FTP from ftp.cs.cornell.edu /pub/Weyl
	Contact:   rz@cs.cornell.edu
        Version:   4.240
	Comments:  Intended to be incorporated in larger, more specialized
		   systems.

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


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:   cayley@maths.su.oz.au 
		   Phone: (61) (02) 692 3338, Fax: (61) (02) 692 4534
		   Computational Algebra Group
                   University of Sydney
                   NSW 2006 Australia
	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 
        Contact:   gap@samson.math.rwth-aachen.de
	FTP site:  samson.math.rwth-aachen.de (137.226.152.6) & math.ucla.edu
	Version:   3.1 (3.2 to be released Dec 92)
	Comments:  group theory calculations.


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

PARI::
	Type:      anonymous ftp  
	Machines:  Most workstations, Mac and NeXT
	Contact:   pari@mizar.greco-prog.fr
                   anonymous ftp to math.ucla.edu (128.97.64.16)
	           in the directory /pub/pari
	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

Macaulay::
	Type:      anonymous ftp
	Machines:  Complete source available, Binary Mac versions available
	Contact:   anonymous ftp to zariski.harvard.edu (128.103.1.107)
	Version:   ???
	Comments:  focused on Algebra type computations ( polynomial rings
 		   over finite fields ), things like that.

Kant::
	Type:      ???
	Machines:  ???
	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@dd0rud81.bitnet or schmetto@dd0rud81.bitnet
        Version:   1 & 2
	Comments:  Kant (Computational  Algebraic  Number  Theory) is 
		   subroutine  package for algorithms  from geometry of 
		   numbers and  algebraic number theory. There are  two 
		   versions of  Kant:  Kant  V1 is written  in Ansi-Fortran 77,
		   while Kant V2 is built on the Cayley Platform and written in 
		   Ansi-C.

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

UBASIC::
	Type:	   anonymous FTP (ubas830.zip)
	Machines:  Mac and IBM PC's
	Contact:   malm@argo.acs.oakland.edu, Phone: (313) 370-3425
	 	   Donald E. G. Malm, Department of Mathematical Sciences
                   Oakland University, Rochester, MI 48309-4401
	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 (and copyrighted by him), 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)), that can be found in the WURST 
		   Archives (wuarchive.wustl.edu).

Numbers::
	Type:      Free but not Public Domain, registration required.
	Machines:  PC-DOS
	Contact:   Ivo Dntsch                   Phone:    (++49) 541-969 2346
	           Rechenzentrum                 Fax:     (++49) 541-969 2470
          	   Universitt Osnabrck         Bitnet:   duentsch@dosuni1
          	   Postfach 4469
          	   W 4500 Osnabrck 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:      ???
	Machines:  Mac's
	Contact:   cocoa@igecuniv.bitnet
	Version:   ???
	Comments:  Computations in commutative algebra

Galois::
	Type:      Commercial
	Machines:  IBM-PC DOS
	Contact:   CIFEG Inc., Kalkgruberweg 26, A-4040 Linz, Austria
        Version:   ???
	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 and royappa@cs.purdue.edu)
        Version:   
	Comments:  GANITH is an algebraic geometry toolkit, for computing 
		   and visualising 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
===============

SchoonShip::
	Type:      ???
	Machines:  ???
	Contact:   mentioned in  Comp.Phys. Comm. 8, 1 (1974).
	Version:   ???
	Comments:  I have heard this program mentioned , supposely it's designed
 		   for large problems (i.e. thousands of terms in series 
 		   expansions ). Developed at CERN for CDC7600 ? 

STENSOR::
	Type:	   ????
	Machines:  VAX, SUN, Apollos, Orion, Atari & Amiga
	Contact:   lh@vand.physto.se, 
		   Lars Hornfeldt, Physics Department, University of Stockholm
                   Vanadisv.9, S-113 46, Stockholm, Sweden
        Version:   ????
	Comments:  System for tensor calculus and noncommutative algebra


LISP CALCULATORS
================

JACAL:: 
	Type:      Gnu CopyLeft
	Machines:  Needs a Lisp (either Common or Scheme) 
	Contact:   Available by anon ftp to altdorf.ai.mit.edu [18.43.0.246]
	Version:   ???
	Comments:  An IBM PC version on floppy for $50 is available from 
 		   Aubrey Jaffer, 84 Pleasant St. Wakefield MA 01880, USA.

GNU-calc::
	Type:      GNU copyleft
	Machines:  Where Emacs runs.
	Contact:   Free Software Foundation
        Version:   ???
	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 online manual. You can FTP it from any GNU site.


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

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
	Version:   ????
	Comments:  Differetial equation computations


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

SymbMath::
	Type:      shareware, student and advanced versions.
	Machines:  IBM PC
	Contact:   chen@deakin.OZ.AU
	Version:   2.1.1
	Comments:  Runs on plain (640k) DOS machines. The shareware version
		   is available in the file sm211a.zip on the Wurst Archives.
		   More capable versions are available by mail-order from the 
	           author.  

CLA::
	Type:      anonymous FTP
	Machines:  PC-DOS
	Contact:   ????
        Version:   2.0
	Comments:  A linear or matrix algebra package which computes
		   rank, determinant, rwo-reduced echelon form, Jordan 
		   canonical form, characteristic equation, eigenvalues, 
	 	   etc. of a matrix. File cla20.zip on the Wurst Archives.

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 (71571,2006@compuserve.com) Ph: (404) 452-1129
     		   Cerebral Software, PO Box 80332, Chamblee, GA 30366
        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:   ???
        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
	Contact:   ???
        Version:   5.46
	Comments:  Available from the anonymous FTP at 
		   wuarchive.wustl.edu:/edu/math/msdos/modern.algebra/vol546.zip

LIE::
	Type:      Public Domain
	Machines:  PC-DOS
	Contact:   HEAD@RIVETT.MST.CSIRO.AU (A. K. Head)
		   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

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 
