home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!ccut!news.u-tokyo.ac.jp!yayoi!tansei1!mhiroshi
- From: mhiroshi@tansei.cc.u-tokyo.ac.jp (H. Murakami)
- Newsgroups: fj.sci.math
- Subject: The available Symbolic Algebraic Computation sytems. FAQ list.
- Message-ID: <3523@tansei1.tansei.cc.u-tokyo.ac.jp>
- Date: 17 Nov 92 19:29:21 GMT
- Sender: news@tansei.cc.u-tokyo.ac.jp
- Distribution: fj
- Organization: Hokkaido Univ. However I am subject to tansei for JUNET.
- Lines: 535
-
-
- USENET $B$N(J sci.math.symbolic $B$K1w$F(J,
- $B8=:_(J available $B$J(J $B?t<0=hM}7O$N0lMwI=$,(J Post $B$5$l$^$7$?$N$G(J,
- $B0zMQ$9$k$3$H$K$7$^$9(J.
-
- ----------------------------------- QUOTE ---------------------------------
- Article: 3443 of sci.math.symbolic
- From: desouza@math.berkeley.edu (Paulo de Souza)
- Newsgroups: sci.math.symbolic
- Subject: FAQ - The available systems
- Summary: Computer Algebra Systems
- Keywords: CAS
- Message-ID: <1e6gdpINN161@agate.berkeley.edu>
- Date: 15 Nov 92 21:45:29 GMT
- Organization: U.C. Berkeley Math. Department.
- Lines: 515
- NNTP-Posting-Host: math.berkeley.edu
-
-
- 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
-
- -----------------------------THE OF QUOTE ---------------------------------
-