From: ca@math.berkeley.edu ()
Newsgroups: sci.math.symbolic
Subject: FAQ Available Systems (update)
Date: 19 Nov 1992 05:43:09 GMT
Organization: U.C. Berkeley Math. Department.
Distribution: world
NNTP-Posting-Host: math.berkeley.edu
Summary: CAS systems in distribution.
Keywords: CAS


			Available    Systems

This is the  list of  currently  developed  and   distributed  software  for 
symbolic math applications. 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.

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

GENERAL PURPOSE
===============
 
Maple:: 
	Type:      commercial
	Machines:  Unix 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:   info@maplesoft.on.ca
		   Waterloo Maple Software, 160 Columbia Street West,
        	   Waterloo, Ontario, Canada     N2L 3L3
        	   Phone: (519) 747-2373
	Version:   5 Rel. 1. Rel. 2 available for DEC and SUN.
	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, ULTRIX and VMS), Apollo, 
		   HP 9000, DEC RISC, PC386/DOS, Symbolics computers, RS6000,
		   368/387 and 486 (no SX's) PC's.
    	Contact:   info-macsyma@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, 
		   DEC RISC, SUN and RS6000), 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
                   Leo Harten from 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 (Leo Harten) Paradigm Associates, Inc.
		   29 Putnam Avenue, Suite 6, Cambridge, MA 02139 (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)
	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:  Cray Y-MP down to Mac's and PC's and Ataris.
	Contact:   reduce@rand.org,  Anthony C. Hearn, RAND, 1700 Main Street
	           P.O. Box 2138, Santa Monica CA 90407-2138 U.S.A.
		   Phone: +1-310-393-0411 Ext. 6615  Fax: +1-310-393-4818
	Version:   3.4.1
	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.

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:  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)

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

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

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:      Anonymous FTP
	Machines:  Mac's; PC's on the works.
	Contact:   cocoa@igecuniv.bitnet (Gianfranco Niesi)
		   Dipartimento di Matematica
		   Via L.B. Alberti, 4 
		   I-16134   Genova (Italy)
	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.

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
===============

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

SchoonShip::
	Type:      ???
	Machines:  ???
	Contact:   mentioned in  Comp.Phys. Comm. 8, 1 (1974).
	Version:   ???
	Comments:  Developed at CERN (I think) by Veltman, during the second 
		   half of the sixties. Its purpose was to tackle problems in
		   quantum electrodynamics.

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:   lh@vand.physto.se, 
		   Lars Hornfeldt, Physics Department, University of Stockholm
                   Vanadisvagen 9, S-113 46 Stockholm, Sweden phone +46 8 837114
        Version:   2.31
	Comments:  System for tensor calculus and noncommutative algebra.
		   It icludes the systems SHEEP/CLASSI.


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
======================

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

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:   huang@deakin.oz.au,   Phone: 61-52-443282
		   Dr Weiguang Huang, 5/6 Cara Road, Geelong, Vic. 3216, 
		   Australia
	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:   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, rwo-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 (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:   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
	Contact:   Don Stevens, 4 Wash. Sq. Village, NY NY 10012.
        Version:   5.46
	Comments:  Available from the anonymous FTP at 
		   wuarchive.wustl.edu:/edu/math/msdos/modern.algebra/vol546.zip

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