| T.R | Title | User | Personal
Name | Date | Lines |
|---|
| 1161.2 | references to Mathematica notes | HERON::BUCHANAN | combinatorial bomb disposal squad | Thu Dec 14 1989 07:35 | 4 |
| See Note 1143, also the out-of-date 983
Regards,
Andrew.
|
| 1161.3 | computer Algebra Survey | STAR::ABBASI | | Tue Jan 28 1992 22:55 | 483 |
|
Article: 3700
Path: nntpd.lkg.dec.com!news.crl.dec.com!deccrl!caen!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!mcs.kent.edu!Condor.mcs.kent.edu!rayes
From: [email protected] (Mohamed Omar Rayes)
Newsgroups: sci.math.symbolic
Subject: Computer Algebra literature and packages survey
Message-ID: <[email protected]>
Date: 26 Jan 92 00:37:08 GMT
Sender: [email protected] (News Administrator)
Reply-To: [email protected]
Organization: Dept. of Math and Computer Science
Lines: 468
Nntp-Posting-Host: mcs.kent.edu
This is a brief survey of available literature as well as
some of the available Computer Algebra packages. The literature list
contains books/articles that fit a large class of readers. If
you know of other sources that are not in this list (books, thesises,
technical reports, or otherwise), please send e-mail to
[email protected]. Thanks in advance.
===================================
Main Source
==================================
From the early birth of computer algebra, most activities in this
field have been coordinated by SIGSAM (the Special Interest Group on
Symbolic and Algebraic Manipulation) of ACM (Association for
Computing Machinery).
SIGSAM publishes a Bulletin that reports on new events and
developments in computer Algebra. Information about membership in
SIGSAM may be obtained from:
Association for Computing Machinery, 1133 Avenue of Americas,
New York, NY 10036, U. S. A.
The following is a brief description of SIGSAM bulletin:
Association for Computing Machinery. Special Interest Group on Symbolic &
Algebraic Manipulation.
SIGSAM bulletin. New York, Special Interest Group on
Symbolic & Algebraic Manipulation, Association for Computing Machinery.
Quarterly
Continues: SICSAM bulletin ISSN 0273-0626
ISSN 0163-5824
SUBJECT HEADINGS (Library of Congress; use s= ):
Algebra--Data processing--Periodicals.
=====================================
Books and articles
====================================
R.G. Tobey, R.J. Bogbrow, and S.N. Zilles, {Proc. Amer. Soc. Info. Proc.
Soc.}, _27_, 37. (1965),
R.G. Tobey, {IBM Technical Report 00.1365} (1965),
J.E. Sammet, {Adv. Comp.}, _8_, 47 (1966),
W.H. Jeffreys, {Comm. Assoc. Comp. Mach.}, _14_, 538 (1971),
M.S. Davis, in B.D. Tapley and V. Szebehely, Eds., {Recent Advances in
Dynamical Astronomy}, D. Reidel Publ., Dordrecht, Holland, 1973,
p. 351 (1973),
R. Pavelle, M. Rothstein, and J. Fitch, {Sci. Am.}, _245_, 136 (1981).
Caviness, B. "Computer Algebra : Past and Future. EUROCAL'85,"
Buchberger, B. (ed). Pages 1-18.
Van Hulzen, J and Calmet J. " Computer Algebra Systems",
Computer Algebra Symbolic and Algebraic Computation, Loos R. , Collins,
G. , Buchberger (eds). Pages 115-137. Springer-Verlag. 1982.
Rayes, Mohamed Omar.
Enhancement of the complex environment of MACSYMA / by Mohamed Omar Rayes. --
1988.
vi, 81 leaves, bound ; 28 cm. -- (KSU masters theses (Dept. of Mathematical
Sciences))
Typescript (photocopy).
Thesis (M.A.)--Kent State University, 1988.
Bibliography: leaf 81.
SUBJECT HEADINGS (Library of Congress; use s= ):
Functions of complex variables.
MACSYMA (Computer system)
Smbolics. Bibliography of Publications Referncing MACSYMA,
(Computer Aided Mathematics Group),eleven Cambridge Center, Cambridge,
Massachusetts 02142, 1987.
Lipson, J. S.
Algebra and Algebraic Computing, Addison Wesley, Reading, MA, 1981.
Applications of computer algebra / edited by Richard Pavelle. -- Boston : Kluwer
Academic Publishers, c1985.
x, 433 p. : ill. ; 25 cm.
Papers based on the proceedings of a symposium on symbolic algebraic
manipulation in scientific computation presented by the ACS division of
Computers in Chemistry at the 188th meeting of the American Chemical Society,
Aug. 26-31, 1984.
Includes bibliographies and index.
SUBJECT HEADINGS (Library of Congress; use s= ):
Algebra--Data Processing--Congresses.
Computer algebra : symbolic and algebraic computation / edited by B. Buchberger,
G.E. Collins, and R. Loos, in cooperation with R. Albrecht. -- Wien ; New York
: Springer-Verlag, c1982.
vi, 283 p. : ill. ; 25 cm. -- (Computing. Supplementum ; 4)
Includes bibliographical references and index.
SUBJECT HEADINGS (Library of Congress; use s= ):
Algebra--Data processing--Addresses, essays, lectures.
Machine theory--Addresses, essays, lectures.
Aho, Alfred V.
The design and analysis of computer algorithms / Alfred V. Aho, John E.
Hopcroft, Jeffrey D. Ullman. -- Reading, Mass. : Addison-Wesley Pub. Co., <1974>
x, 470 p. : ill. ; 24 cm. -- (Addison-Wesley series in computer science and
information processing)
Bibliography: p. <451>-462.
Includes index.
SUBJECT HEADINGS (Library of Congress; use s= ):
Electronic digital computers--Programming.
Algorithms.
Davenport, J. H.
Computer algebra : systems and algorithms for algebraic computation / J.H.
Davenport, Y. Siret, E. Tournier. -- London : Academic Press, 1989, c1988.
xix, 267 p. : ill. ; 24 cm.
SUBJECT HEADINGS (Library of Congress; use s= ):
Algebra--Data processing.
Rand, R. H. (Richard H.)
Computer algebra in applied mathematics : an introduction to MACSYMA / R.H.
Rand. -- Boston : Pitman Advanced Pub. Program, 1984.
181 p. ; 25 cm. -- (Research notes in mathematics ; 94)
Bibliography: p. 175-176.
Includes index.
SUBJECT HEADINGS (Library of Congress; use s= ):
Algebra--Data processing.
MACSYMA (Computer system)
Knuth, Donald Ervin, 1938-
The art of computer programming / <by> Donald E. Knuth. 2d ed. Reading,
Mass. : Addison-Wesley Pub. Co., <c1973-<c1981>
v. <1-2> : illus. ; 25 cm. (Addison-Wesley series in computer science and
information processing)
Includes indexes.
Bibliography: v. 1, p. 456-463.
Contents: v. 1. Fundamental algorithms.--v. 2. Seminumerical algorithms.
SUBJECT HEADINGS (Library of Congress; use s= ):
Electronic digital computers--Programming.
K.O. Geddes, S.R. Czapor, and G. Labahn,
Algorithms for Computer Algebra.
Kluwer Academic Publishers, Boston, 1992.
Akritas, Alkiviadis G., 1949-
Elements of computer algebra with applications / Alkiviadis G. Akritas. -- New
York : Wiley, c1988.
xv, 425 p. : ill. ; 25 cm.
"A Wiley-Interscience publication."
Includes bibliographical references (p. 394-399).
Includes index.
SUBJECT HEADINGS (Library of Congress; use s= ):
Algebra--Data processing.
Sammet, J. E.: Revised Annotated Descriptor Based Bibliography on the Use
of Computers for Non-Numerical Mathematics. IFIP 1966, 358-484.
[Updated in SIGSAM Bull. 10 (1968), 12 (1969), 15 (1970).]
Flesh, V.: A Bibliography ob the Use of Computers in Group Theory
and Related Topics: Algorithms, Implementations, and Applications.
Kept current and Obtainable from Lehrstuhl D fur Mathematik, Rheinisch-
Westfalische Technische Hochschule Aachen, D-5100 Aachen, Federal Republic
of Germany [see also SIGSAM Bull. 12/1, 23 - 86 (1978)].
Loos, R.: SIGSAM KWIC Index. SIGSAM Bulletin. 8/1, 17 - 44 (1974).
Yun, D. Y. Y., Stoutemyer, D. R. : Symbolic Mathematical Computation. In:
Encyclopedia of Computer Science and Technology (Belzer, J. Holzman, A. G.,
Kent, A. eds.), Vol. 15, 235 -310 (1980).
=====================================
Course Notes
=====================================
Caviness, B. F., Gilbert R. P. and shtokhamer, R.,
"An itroduction to Applied Symbolic Computation Using MACSYMA,",
Course Notes, Department of Computer Science,
University of Delaware.
Cohen, J., " Introduction to Computer Symbolic Manipulation,
Applications and Algorithms.", Course Notes,
Department of Mathematics and Computer Science.
University of Denver.
Geddes, K. O., " Algebraic algorithms for Symbolic Computation,",
Course Notes, Department of Computer Science, University of
Waterloo.
Zippel, R. E., "Algebraic Manipulation," Course Notes,
Department of Computer Science, Massachusetts Institute of
Technology, 1982.
=============================================
Scientific Machine Readable Computer Programs
=============================================
The following places offer free software
for users in most scietific areas
"Federal Software Exchange Catalog" (1985) PB85-904001,
Federal Software Exchange Center (FSEC)
NTIS Computer Products
5285 Port Royal Road
Springfield, VA 22161
Phone (703) 487-4848
M. Birgersson, M. K. Butler, J.carter, M. M. De Bruler,
F. K. Degges, C. E. Eyberger, L. R. Eyberger, P. L. Johnson,
and L. L. Reed (March 1986) "National Energy Software Center:
Compilation of Software Abstracts" ANL-7411 Revised Supplement
2 Volume 1 (DE86009835) Argonne National Laboratory, 9700
South Cass Avenue, Argonne, Illinois 60439
Available from: National Technical Information Service
U. S. Department of Commerce
5285 Port Royal Road
Springfield, VA 22161
"COSMIC Software Catalog" (1987) NASA-CR-179669
COSMIC
NASA's Computer Software Management and Information Center
The University of Georgia
Athens, GA 30602
Phone (404) 542-3265
"Directory of Computer Software: A Practical Approach to
Obtaining Federally-Developed Computer Programs", (October
1988). ISBN 0-934213-14-3
National Technical Information Service
U.S. Department of Commerce
5285 Port Royal Road
Springfield, VA 22161
Phone: (703) 487-4650
"COSMIC Software Catalog" (1987) NASA-CR-179669
COSMIC
NASA's Computer Software Management and Information Center
The University of Georgia
Athens, GA 30602
Phone (404) 542-3265
"Directory of Computer Software: A Practical Approach to
Obtaining Federally-Developed Computer Programs", (October
1988). ISBN 0-934213-14-3
National Technical Information Service
U.S. Department of Commerce
5285 Port Royal Road
Springfield, VA 22161
Phone: (703) 487-4650
"The Software Catalog SCIENCE and ENGINEERING" (1987)
ISBN 0-444-01228-1 ISSN 0992-1011
Publisher:
Elsevier Science Publishing Co., Inc.
52 Vanerbilt Avenue
New York, NY 10017
Phone: (212) 370-5520
=======================================
Available Computer Algebra Packages
=======================================
Maple::
Type: commercial
Machines: Most workstations , Pc and Mac versions available
Contact: [email protected]
Current Version: Depends on machine, 5.0 for workstations ,pc's
5.0 for mac released Summer '91 ( NeXT version ? )
Comments: General purpose , source available for most routines ,
graphics support in 5.0
Macsyma::
Type: commercial
Machines: Most workstations , Pc and Mac versions available
Contact: [email protected]
[email protected]
[email protected]
Current Version: Supplied by 3-4 vendors
Comments: One of the oldest and hence least buggiest.
a KCL/AKCL MAXIMA is available from University
of Texas/Austin.
Reduce::
Type: commercial
Machines: Lots
Contact: [email protected]
Comments: General purpose
Aljabr::
Type: commercial
Machines: PC (I think)
Contact: [email protected]
Comments: Highly based on Macsyma.
Pari::
Type: anonymous ftp
Machines: Most workstations , Mac NeXT versions available
Contact: anonymous ftp to math.ucla.edu (128.97.64.16)
in the directory /pub/pari
Current Version: 1.35
Comments: general purpose , source available.
It can be used as a stand alone or included as
a library.
Three versions are available:
1 - A specific implementation for
68020/68030/68040 based computer which contains
a kernel entirely written in MC68020 assembly
language. This version runs on SUN-3/xx,
Sony News, NeXT cubes and in the Macintsh II. It
can be easily ported on any other 680x0 based machines.
2 - A specific implementation for SPARC based workstations.
This version contains only a few hundred lines of
assembly code, and is usually slightly faster on the
SPARC staion 1+ than on a SUN3/60 or SUN3/80.
3 - A third version written entirely in C. It can be
easily ported on any 32-bit computer having no real
memory constraints (hence not to MS-DOS systems).
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: [email protected] . Binary versions of version 1 are available
by anonymous ftp from nikhef.nikhef.nl (192.16.199.1)
Current Version: version 1
Comments: General purpose , designed for BIG problems , batch-like
interface
JACAL and SCM Type: anonymous ftp
Machines: PCs.
Contact: altdorf.ai.mit.edu
Comments: Runs under SCHEME
=============================================
Other available software packages.
=============================================
Mathematica Ftp sites:
otter.stanford.edu 36.21.0.104
ftp.ncsa.uiuc.edu 128.174.20.50
nic.funet.fi 128.214.6.100
fenris.claremont.edu 134.173.4.146
siam.unibe.ch
vax.eedsp.gatech.edu
Maple Ftp sites:
129.132.101.33 ETH Zurich, Switzerland
129.97.128.58 University of Waterloo, Canada
Vaxima Ftp sites:
mcs.kent.edu (pub/complex.tar.Z , pub/vaxima-primer.tex)
Matlab Ftp sites:
send e-mail to [email protected]
BigNum
J. Vuillemin, INRIA, FRANCE, and others.
Distributed by Digital Equipment Paris Research Lab (DECPRL)
Available via email from [email protected].
Package includes TEX documentation.
Publicly available for non-commercial use.
amp Contact Antti Louko [email protected]
gennum
Per Bothner U of Wisconsin-Madison
C++ routines and classes to do generic arithmetic, both
integer and rational. Obtain from sevenlayer.cs.wis.edu
briggs_arith
Keith Briggs ([email protected])
================================================
Other people to contact
Doug Andersen [email protected] (Axiom)
Bill Beckner [email protected]
George Carrette [email protected] (MACSYMA)
Bruce Char [email protected] (early sys)
Brian Evans [email protected]
Paul Evans [email protected] (Maple/Mathcad)
Dan Frezza [email protected] (Derive)
Jeffrey Golden [email protected] (MACSYMA)
Jeff Greif [email protected] (SMP)
Leo Harten [email protected] (ParaMacs)
Tony Hearn [email protected] (REDUCE)
Daniel Lazard [email protected] (Axiom)
Michael Monagan [email protected] (Maple)
James O'Dell [email protected] (TK!Solver)
Ue-Li Pen [email protected]
Richard Pavelle [email protected]
Andrzej Pindor [email protected] (MathCAD)
Mohammed Rayes [email protected] (VAXIMA, PARI)
Richard Schroeppel [email protected]
Joel Shapiro [email protected]
Neil Soiffer [email protected] (Mathematica)
Glenn Thobe [email protected] (early sys)
Jos Vermaseren [email protected] (FORM)
Edward Wright [email protected]
Paul Wang mcs.kent.edu (VAXIMA)
The above list was mainly taken from an article posted in
sci.math.symbolic by Brian Evans. Thanks in advance.
|
| 1161.4 | CAYLEY , computer algerba program, looks interesting | STAR::ABBASI | | Wed Mar 18 1992 10:41 | 116 |
| Article: 4044
Path: nntpd.lkg.dec.com!pa.dec.com!decwrl!mips!munnari.oz.au!metro!cayley
From: [email protected] (Cayley source owner)
Newsgroups: sci.math,sci.math.symbolic,sci.math.num-analysis,sci.chem,sci.physics
Subject: Announcement of Cayley V3.8
Summary: Cayley V3.8 is available, with many new features
Keywords: Cayley, Computational algebra
Message-ID: <cayley.700890830@galois>
Date: 18 Mar 92 03:53:50 GMT
Sender: [email protected]
Organization: Sydney University Computing Service, Sydney, NSW, Australia
Lines: 100
Xref: nntpd.lkg.dec.com sci.math:25668 sci.math.symbolic:4044 sci.math.num-analysis:3958 sci.chem:6512 sci.physics:29251
Nntp-Posting-Host: galois.maths.su.oz.au
ANNOUNCEMENT OF CAYLEY V3.8
Distribution of Cayley V3.8 commenced in the fourth quarter of 1991.
Introduction
------------
The Cayley system for discrete algebra and combinatorial theory is designed
to solve hard problems in related areas of algebra, number theory and finite
geometry. Cayley enables users to define and to compute in structures such as
finite and infinite groups, rings, fields and modules. Rather than simply being
an alternative to other Computer Algebra systems, Cayley supports computation
in important new areas of algebra (eg group theory, modules). Its unique design
philosopy is based on a computational model arising from the structural
principles of modern abstract algebra.
Cayley V3.8 contains many new facilities. Further, many of the existing
program modules have been extensively overhauled. Much of this work is in
preparation for Cayley V4, a much more general algebra system that comes with
a completely new user language.
Summary of New Features
-----------------------
The major changes that appear in V3.8 may be briefly summarised as follows:
(*) FIELDS: The rational field Q, quadratic extensions of Q, and cyclotomic
number fields Qm have been implemented. The finite field machinery has been
rebuilt and it now handles field extensions and embeddings of subfields. A
fast package for computing with arbitrary precision real and complex numbers,
based on Brent's highly-regarded MP package, has been installed.
(*) RINGS: The integer package has been substantially revised to provide
faster execution. In particular, the basic arithmetic module has been optimized
and a new version of Arjen Lenstra's elliptic curve factorization method has
been installed. Arithmetic for the rings Z/mZ has been implemented. Matrix rings
may now be defined over any ring definable in Cayley (including matrix rings).
In particular, matrix rings may be defined over Fq, Q, Qm, Z/mZ, R and C.
(*) MODULES: The first part of a planned facility for R-modules has been
installed. In V3.8, users may work with modules over fields and Euclidean
Domains. The machinery for computing with KG-modules (K a finite field, G a
finite group) now includes Gerhard Schneider's powerful endomorphism ring
programs. In particular, this allows the construction Hom(U, V), where U and V
are KG-modules and also provides a test for modules being indecomposable.
(*) GROUPS: Certain critical algorithms in the permutation group module have
been replaced by faster versions (testing for alternating or symmetric,
verifying strong generation, identifying composition factors). In the area of
finitely presented groups, a new algorithm for computing subgroups of low
index, developed recently by Charlie Sims, has been installed. The original
Todd-Coxeter procedure has been replaced by a significantly improved version
developed by George Havas. A facility has been developed by Wieb Bosma for
computing with class functions and ordinary characters of a finite group (with
values in a cyclotomic number field Qm).
(*) GRAPHS: A substantial module for computing with graphs and digraphs has
been installed. The most important facility is provided by Brendan Mckay's
graph automorphism program nauty. The user may construct the automorphism group
of a combinatorial structure and then analyze the structure of the group using
Cayley's extensive permutation group facilities.
Documentation
-------------
Documentation has been greatly improved through the release of a 250 page
Handbook which contains a complete and up-to-date description of all functions
and operators. This manual, which contains an extensive index, is available
in the form of a .dvi file and so can be used as the basis of a simple on-line
help facility.
Implementations
---------------
Cayley has recently been installed on the Macintosh running A/UX, the
IBM RS/6000 series workstations and the Convex for the first time. As of
January 1992, versions of Cayley are available for the following processors:
SUN 3, SUN 4
Apollo M680x0 based models, DN10000
DECstation
VAX/VMS
Macintosh running A/UX 2.01 or higher
IBM RS 6000 series
IBM PS/2 Models running AIX
IBM 30xx, 43xx under VM/CMS
Convex
Further Information
-------------------
For more information contact:
The Secretary, Computational Algebra Group,
University of Sydney, NSW 2006, Australia
Email: [email protected] Telephone: +61 2 692 3338 Fax: +61 2 692 4534
|
| 1161.5 | Terminal summation, new class of functions using CAS | STAR::ABBASI | i^(-i) = SQRT(exp(PI)) | Tue Jul 21 1992 16:43 | 11 |
| New Class of functions found
In this week (July 20 edition) of Electronics Engineering times) there
is a large article on page 35 about how some researches used symbolic
algebra (actually the mentioned MAPLE in particular) to come up with
new functions that they call Terminal summation, something to do with
forcing convergence, any way I just wanted to point it out, it is too
long for me to type.
/Nasser
|
| 1161.6 | Yet ANother computer algebra system available, free | STAR::ABBASI | iam your friendly psychic hotline | Sun Dec 27 1992 01:58 | 43 |
| From: [email protected] (Aubrey Jaffer)
Newsgroups: sci.math.symbolic
Subject: jacal1a0 computer algebra system available
Date: 24 Dec 92 01:48:49
Organization: M.I.T. Artificial Intelligence Lab.
Lines: 35
This message announces the availability of JACAL release jacal1a0.
JACAL is a symbolic mathematics system for the simplification and
manipulation of equations and single and multiple valued algebraic
expressions constructed of numbers, variables, radicals, and algebraic
functions, differential, and holonomic functions. In addition,
vectors and matrices of the above objects are included.
JACAL is written in Scheme. A version of Scheme (IEEE P1178 and R4RS
compliant) written in C is available with JACAL. SCM runs on Amiga,
Atari-ST, MacOS, MS-DOS, OS/2, NOS/VE, VMS, Unix and similar systems.
JACAL source is available via FTP (detailed instructions follow) from:
altdorf.ai.mit.edu:archive/scm/jacal1a0.tar.Z (or later revision).
SLIB is a portable scheme library which JACAL requires:
altdorf.ai.mit.edu:archive/scm/slib1c3.tar.Z
SCM is a small Scheme implementation under which JACAL will run.
altdorf.ai.mit.edu:archive/scm/scm4a15.tar.Z
ftp altdorf.ai.mit.edu [18.43.0.246] (anonymous)
bin
cd archive/scm
get jacal1a0.tar.Z
get slib1c3.tar.Z
get scm4a15.tar.Z
`jacal1a0.tar.Z' is a compressed tar file of the JACAL Scheme code.
`slib1c3.tar.Z' is a compressed tar file of a Scheme Library.
`scm4a15.tar.Z' is a compressed tar file of the C code distribution.
Remember to use binary mode when transferring the files.
Be sure to get and read the GNU General Public License (COPYING).
It is included in scm4a15.tar.Z and jacal1a0.tar.Z.
|
| 1161.7 | list of available CAS systems | STAR::ABBASI | i think iam psychic | Sun Feb 07 1993 01:00 | 604 |
| From: [email protected] ()
Newsgroups: sci.math.symbolic
Subject: FAQ - Available Systems
Date: 5 Feb 1993 07:32:40 GMT
Organization: U.C. Berkeley Math. Department.
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 :
[email protected]
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: [email protected]
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: [email protected], 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. Packages include: MathTensor for Tensors
and NCAlgebra for Non-Commutative Algebra, Combinatorica
for Graph Theory and 4DSlicer (The Knife) for dissections
of the Fourth Dimension.
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: [email protected], 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: [email protected]
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: [email protected] (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: [email protected], 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: [email protected] (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: [email protected], 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
SENAC::
Type: commercial
Machines: Sun-3, Sun-4 (SPARC), VAX (UNIX, ULTRIX and VMS), PC (Sp93).
Contacts: [email protected], [email protected]
For Europe: For rest of the world:
Minaz Punjani Kevin. A. Broughan
University of London Comp Centre Mathematical Soft Projec
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: Public domain verison 1 , Version 2 commercial
Machines: Msdos, AtariSt , Mac, Sun3, Sun4/sparc, Apollo, NeXT,
VAX/VMS, VAX/Ultrix , DECStation , and others
Contact: [email protected] (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 platforms
Contact: USA: Rest of the world:
[email protected] [email protected]
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: 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: [email protected], 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
Mock-Mma::
Type: anonymous FTP
Machines: Anywhere running Common LISP.
Contact: [email protected]
Version: 1.5
Comments: It does Matematica (or I mispelled that!). Available
through anonymous FTP from from peoplesparc.berkeley.edu:
/pub directory.
Weyl::
Type: anonymous FTP
Contact: [email protected] (Richard Zippel)
Version: 4.240
Comments: Intended to be incorporated in larger, more specialized
systems. Available from ftp.cs.cornell.edu:/pub/Weyl
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: [email protected]
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: [email protected]
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: [email protected]
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
[email protected] [email protected]
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
[email protected] or [email protected]
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: [email protected], 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: [email protected]
Version: 3.5
Comments: General purpose
UBASIC::
Type: anonymous FTP (ubas830.zip)
Machines: Mac and IBM PC's
Contact: [email protected], 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: [email protected] (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 [email protected])
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: [email protected]
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.
Ricci::
Type: Anonymous FTP from otter.stanford.edu
Machines: All computers that run Mathematica 2.0 or greater.
Contact: Jack Lee ([email protected])
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.
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: [email protected],
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: [email protected] (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: [email protected], 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 ([email protected])
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
[email protected]
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,[email protected]) 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,[email protected]
[email protected]
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: [email protected], Don Stevens, Phone: 212-998-3275
Courant Institute, 251 Mercer St., NY NY 10012
Version: 5.46
Comments: Writen 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
To appear soon: Magma, MathCAD, CAS ([email protected] group theory) &
MACO ([email protected]), FELIX.
|
| 1161.8 | FYI, MAJOR NEW FEATURES IN MATHEMATICA VERSION 2.1 | STAR::ABBASI | i think iam psychic | Mon Feb 22 1993 13:25 | 263 |
|
MAJOR NEW FEATURES IN MATHEMATICA VERSION 2.1
_____________________________________________
These notes describe enhancements to the kernel of Mathematica
between Version 2.0 and Version 2.1. Particularly important changes
are indicated by an asterisk.
The highest priorities for development of Version 2.1 have been to
improve the memory requirements, speed, and reliability of the
program. There are, however, a number of significant new features.
There are no design incompatibilities in going from Version 2.0 to
Version 2.1. Mathematica programs written using Version 2.0 should
run unchanged in Version 2.1.
System Features
===============
* The internal representation of expressions has been optimized to
reduce memory requirements by 10 to 50%.
* The Share function for sharing memory between common subexpressions
has been greatly extended. Using Share, the memory used by typical
packages can be reduced 30 to 50%.
* MathLink has been extensively revised. The instructions used for
establishing MathLink connections have been generalized and improved,
with a consistent set of options and functions for specifying the
underlying communication protocol and the mode of opening the link.
A number of programming details have also been made more consistent,
such as the functions for reading lists and arrays from a link.
See the technical report The MathLink Reference Guide, available
from Wolfram Research, for details.
o A new package Examples`StringPatterns` has been added as an example
of using standard Mathematica pattern notation in patterns for
strings. See Guide to Standard Mathematica Packages.
o A new package Utilities`BinaryFiles` has been added to support
reading and writing of several standard types of binary data. See
Guide to Standard Mathematica Packages.
Numerical Operations
====================
* The extended precision arithmetic system has been improved to make
calculations related to propagation of numerical error more accurate.
o A new package NumericalMath`InterpolateRoot` has been added for
iteratively computing roots of analytic functions of a single
variable, using at each iteration all previously computed information
about the function. The algorithm is particularly useful when high
precision is desired and each evaluation of the function is very
expensive. See Guide to Standard Mathematica Packages.
o A new package Statistics`NonlinearFit` has been added that implements
various algorithms for nonlinear regression, including the
Levenberg-Marquardt algorithm. See Guide to Standard Mathematica
Packages.
o The simplex algorithm used by LinearProgramming, ConstrainedMin,
and ConstrainedMax has been speeded up, and corrections have been
added to improve handling of certain combinations of equalities and
inequalities.
Algebra
=======
o A number of improvements have been made to the internal algorithms
used by Solve and related functions. Changes include faster code
for recognizing linear equations and for utilizing related improvements
in linear algebra. Detection of transcendental dependencies has
also been enhanced, along with the algorithm for handling
transcendentals.
o The functions ComplexExpand, DSolve, Integrate (for definite
integrals), LogicalContract, and SolveAlways have been revised and
extended.
o Handling of degenerate cases by ClebschGordan, ThreeJSymbol, and
SixJSymbol has been improved.
o Automatic simplification rules have been added for various combinations
of trigonometric functions and their inverses.
o The new experimental package Calculus`DSolve` extends the capabilities
of the built-in DSolve function, most notably in the area of
non-linear equations.
o A new package NumberTheory`PolynomialMod` has been added to extend
the built-in functions PolynomialGCD, Factor, FactorList,
PolynomialQuotient, and PolynomialRemainder, and to introduce the
function PolynomialPowerMod. See Guide to Standard Mathematica
Packages.
o A new package NumberTheory`Binomial` has been added to implement
fast evaluation of binomial coefficients. See Guide to Standard
Mathematica Packages.
o The Calculus`LaplaceTransform` package has been extended to handle
parameters given as sums.
o Support for the Dirac delta function DiracDelta and the unit step
function UnitStep has been added for integration, Fourier transforms,
and Laplace transforms. See Guide to Standard Mathematica Packages.
o The GroebnerBasis function has been corrected to handle systems
of equations with no common solutions.
o PowerExpand now takes a second argument, in analogy with Expand.
PowerExpand[e, {x, y, ... }] uses PowerExpand only for elements
that contain one of the indicated expressions.
Graphics
========
* The algorithm used to render ContourGraphics objects has been
greatly speeded up and the resulting PostScript output is much more
compact. Typical PostScript files are 10 to 20 times smaller and
are displayed about 5 times faster than in previous versions.
o ContourPlot has been improved to produce more accurate plots,
especially for rapidly varying functions.
o Conversion of SurfaceGraphics objects to Graphics3D objects (as in
Graphics3D[SurfaceGraphics[g]]) has been modified to improve
similarity between the original and final images. Changes include
rendering Graphics3D polygons with a single color, preserving the
effect of the ColorFunction option, generating a default box when
needed, and improving option passing in graphics packages.
o The graphics conversions Graphics[ContourGraphics[g]],
Graphics[DensityGraphics[g]], and Graphics[GraphicsArray[g]] have
been implemented and return lists of Graphics primitives.
o A number of speed improvements have been made in the internal
graphics code, primarily in generation of PostScript output.
Typical graphics are generated about 20% faster.
o Compact notation is used in PostScript output to reduce the size
of the PostScript files and speed up the corresponding graphics.
* The package Graphics`Graphics` has been extensively revised.
Several new functions have been added, including StackedBarChart
and CombineGraphics. Existing functions have also been enhanced,
most notably BarChart, PieChart, and the logarithmic plotting
functions, such as LogPlot. See Guide to Standard Mathematica
Packages.
o Several convenient formats for grid specifications have been added
to the FaceGrids option. Formerly, the position and line style of
each grid line was given in the form {pos, style}. Grid lines can
now be specificed using either numbers, {pos, style} pairs, or
mixtures of numbers and pairs. The specification {Automatic, style}
gives grid lines with the indicated style at the default positions.
For example, the following FaceGrids specifications are now supported:
Show[g, FaceGrids -> {{{-1,0,0}, {{.2, .8}, {.2, .8}}}}] }
Show[g, FaceGrids -> {{{-1,0,0}, {{{.2, {Hue[.5]}}, .8}, {.2, .8}}}}]
Show[g, FaceGrids -> {{{-1,0,0}, {{Automatic, { Hue[0]}}, {.2, .8}}}}]
o FullOptions has been extended to work with GraphicsArray objects.
Input and Output
================
o Parsing of input has been streamlined to improve the speed of Get
and other file reading commands.
o Support for 16-bit characters in string manipulation functions has
been enhanced.
o Default number formatting is now used if application of the
NumberFormat option gives Automatic. Similarly, the default exponent
is used if application of the ExponentFunction option gives Automatic.
o Internal processing of the NumberFormat option has been modified
to prevent infinite loops, and to correct an inconsistency in the
default exponent used for integers.
o All formatted numbers now pass through string formatting for string
conversion (using $StringConversion) and other operations.
Linear Algebra
==============
* A new function JordanDecomposition has been added to compute the
Jordan decomposition of a matrix. JordanDecomposition[M] gives
the Jordan decomposition of an exact matrix M. The result is a
list {S, J}, where J is the Jordan canonical form of M, and M can
be written as S.J.Inverse[S].
o The functions LUDecomposition and LUBackSubstitution have been
added to support LU-decomposition of matrices. LUDecomposition[M]
gives a list {f, perm} where f is a matrix and perm is a permutation.
LUBackSubstitution[{f, perm}, b] gives the vector x that solves
the matrix equation M.x==b.
o LinearSolve has been extended to handle matrix equations m.x==b
when b is a list of vectors.
o The default value of the ZeroTest option for linear algebra functions
has been changed to ZeroTest -> (#1 == 0&). The corresponding
algorithms have been changed so Together is no longer needed.
o The internal row-reduction algorithm for symbolic matrices and
exact numerical matrices has been extensively revised, improving
the behavior of RowReduce, LinearSolve, NullSpace, and Inverse.
|
| 1161.9 | | STAR::ABBASI | i think iam psychic | Wed Feb 24 1993 15:12 | 10 |
| hi,
any one knows where i can buy mathematica around boston/southern
newhamshir area?
called my school book store and they dont have it, and if i buy it
direct from Wolf. it takes 3 weeks to get.
thanks,
\nasser
|
| 1161.10 | | RUSURE::EDP | Always mount a scratch monkey. | Thu Feb 25 1993 08:11 | 8 |
| Re .9:
Wolfram shouldn't take three weeks; they sent it to me Federal Express
a week after I ordered, and that week delay was only because they were
doing inventory.
-- edp
|
| 1161.11 | | RUSURE::EDP | Always mount a scratch monkey. | Tue Mar 30 1993 14:09 | 11 |
| I am returning Mathematica; it is unusable. It crashes, hangs, prints
incorrectly, et cetera. Many of the problems are in the Windows front
end; other versions might not be so bad.
I've ordered MathCAD, but that is mostly numeric, so I will probably
get Maple or maybe Macsyma.
[The MathCAD demonstration disk I offered has been taken.]
-- edp
|
| 1161.12 | MAGMA system | STAR::ABBASI | only 62 days left to graduate | Fri Oct 15 1993 12:17 | 242 |
| From: US2RMC::"[email protected]" "Magma" 15-OCT-1993 02:50:17.63
Announcement of the MAGMA System for Computational Algebra
Introduction
------------
Magma is a radically new software system for computational algebra, number
theory and geometry. It provides a mathematically rigorous environment
for computing with algebraic structures (groups, rings, fields, modules,
algebras), geometric structures and combinatorial structures.
A novel feature of the system lies in its emphasis on *structural* computation.
By this is meant the ability to perform operations such as finding a
"standard basis", testing membership, determining global properties etc
for an algebraic structure, which may be finite or infinite.
Magma was launched at a conference held at Queen Mary and Westfield College,
London, August 23 -- 27, 1993. As distribution will commence late in November,
1993, this document is intended to provide some general information.
Two companion documents, "Summary of categories and their operators in Magma",
and "Examples of Magma calculations and programs" are available upon request.
Types
-----
The system design adapts ideas from Object-Oriented programming where the
OO classes are derived from notions in Universal Algebra and Category Theory.
The primary concept is that of a *magma* (a set with a law of composition).
Thus, types correspond to magmas; a collection of magmas sharing a common
representation form a category (e.g. the category of permutation groups);
a collection of categories satisfying the same set of identical relations
form a variety (e.g. the variety of groups). In particular,
+ The variety operations -- substructure, homomorphic image, and Cartesian
product are available as uniform constructors across all categories.
+ Functors may be used to move between categories.
Every object created in Magma, is either a magma or is defined in terms of
one or more magmas. This approach provides the user with precise control
over the operations that may be performed on an object x since these are
completely determined by the magma to which x belongs.
The aggregate data types are sets (finite and infinite), sequences (finite and
infinite), Cartesian products, tuples, and mappings. A feature of the language
is the provision of powerful set and sequence constructors based on the use of
predicates.
The Language
-----------
The main features of the user language are:
+ Imperative language with standard imperative-style statements and
procedures
+ The language contains an essentially functional subset providing standard
features such as closures, higher-order functions, and partial evaluation
+ Dynamic typing
+ The general aggregate data types correspond to the fundamental concepts of
algebra: set, sequence, mapping, magma
+ Universal structure constructors provide a general mechanism for
constructing magmas
+ Simple but powerful notation for constructing sets and sequences
in a natural mathematical style
+ Set and sequence operations are implemented with a strong emphasis
on efficiency
+ Coercion between magmas (including automatic coercion)
+ User-defined OO classes will be available in 1994
The Kernel Magmas
-----------------
The efficiency of Magma's implementations of fundamental algorithms is designed
to be similar to that achieved by specialist programs. This is achieved by
having optimized implementations of a large number of fundamental algebraic
algorithms encoded as part of the C kernel of the system. To avoid having to
re-implement many highly complex algorithms, an internal *software bus* allows
the integration of C code written independently at the cost of a modest amount
of effort. Consequently, many key Magma functions are implemented by highly
optimized programs written by the experts in the appropriate areas.
The major categories of magma currently supported in the kernel include:
+ Semigroups: Finitely presented semigroups
+ Groups: Finitely presented groups, finite abstract groups, permutation
groups, soluble groups and matrix groups
+ Rings: Ring of integers, order in a number field;
+ Fields: Galois fields, rational field, number fields, function fields,
real field, complex field
+ Algebras: Finitely presented algebras, polynomial algebras, matrix
algebras, power series algebras, group algebras (in preparation)
+ Modules: R-modules (with scalar or matrix action); Hom(M, N), where M and
N are R-modules; K[G]-modules; lattices
+ Geometric structures: Elliptic curves (in preparation)
+ Incidence structures: Graphs, codes, finite geometries (in preparation)
Features of the Mathematical Function Library
---------------------------------------------
The library of intrinsic functions contains implementations of approximately
2000 algebraic and geometric algorithms. Highlights include:
+ Fast machinery for polynomial algebra, particularly for the factorization
of univariate polynomials over GF(q) and Z. Magma supports calculation
with ideals in rings. Groebner basis algorithms for both commutative
and non-commutative polynomial rings will be installed in the near future.
+ A package for finite fields that uses distinct representations for fields
GF(q), where q is small, prime fields GF(p), where p may be multiple
precision, and GF(p^n), where p is small but n is large (e.g. p=2, n=1000).
+ The KANT system developed by Michael's Pohst's group for constructive
algebraic number theory. This package includes facilities for calculating
integral bases, ideal class groups and systems of fundamental units for
fields of degree in excess of 20.
+ A new generation of permutation group algorithms that enables users
to routinely perform computations, such as computing a chief series,
in short base groups having degree up to at least a million. Backtrack
searches are conducted using Jeff Leon's new package.
+ New algorithms and programs for most of the critical processes for finitely
presented groups. Included among these is George Havas's new Todd-Coxeter
procedure and Sims' new backtrack-based low index subgroups algorithm.
+ Extensive machinery for computing with modules and their homomorphisms.
This includes highly optimized code for modules over finite fields and
over the ring of integers.
+ A graph theory module containing many functions for determining graph
invariants as well as Brendan McKay's graph automorphism program (nauty).
+ A coding theory package including many constructions for linear codes
together with machinery for determining important invariants such as the
minimum weight, the weight enumerator and the automorphism group.
Data Bases
----------
A subsequent release of the system will include an integrated data-base
facility to support the use of large mathematical data bases. The data base
will contain such things as all quadratic fields having discriminant less
than a million, all vertex-transitive graphs having up to 24 vertices,
all 2-groups having order dividing 256, etc.
The Environment
---------------
+ Interactive line editing
+ History system with recall and editing of previous lines
+ A hierarchical on-line help facility
+ Ability to save and restore user workspaces
+ Environment variables for configuring style of output, etc.
+ Verbose options for built-in functions
+ Logging of output, input/output with external files, etc.
+ A socket mechanism for communicating with other processes (in preparation)
Documentation
-------------
There are three main components of the documentation:
+ J. Cannon and C. Playoust: An Introduction to MAGMA, 250 pages;
+ W. Bosma and J. Cannon: The MAGMA Handbook, 600 pages;
+ On-line help.
The Magma Introduction does not assume any previous knowledge of programming
languages or computer algebra and provides a gentle introduction to the system.
It is particularly suitable for undergraduate use. The Magma Handbook provides
complete documentation for every language and environmental feature. An on-line
help system provides a variety of levels of information. In particular, it
provides access to the Handbook descriptions of all function and operators.
Cayley and Magma
----------------
Magma has been developed by the Computational Algebra Group at the University
of Sydney with funding provided by the Australian Research Council. Between
1975 and 1985, this group produced the Cayley system for group theory and
related areas. Some 18 years of field experience with Cayley provided
a starting point for the design of Magma. However, Magma is designed as a
general algebra system in contrast to the more limited objectives of Cayley.
In addition to providing a vast expansion in its coverage of algebra, Magma
currently contains approximately 90 per cent of the facilities of Cayley and
the remainder will be installed over the next few months.
Distribution of Magma will commence in November 1993 with the public release
of Magma V1.
At that time distribution of Cayley will cease. While Cayley and Magma are not
compatible, a translator has been written to assist in the conversion of Cayley
code to Magma code. All Cayley sites with a license current on or after
1 January, 1993 will be automatically upgraded to Magma.
Platforms
---------
The initial release of Magma will be available for the following processors:
SUN 4, SUN 10 under SUNOS 4.x and Solaris 2
DECstation under Ultrix
DEC Alpha under Ultrix (Available in 1994)
IBM RS6000 under AIX
HP9000/700 series under HP-UX
Apollo M680x0 based machines, DN10000
386/486 PC (Available first quarter 1994)
Macintosh running A/UX 2.01 or higher (Available in 1994)
It is planned to make available a low-cost student version for 386/486 PCs.
Implementations for other UNIX-based machines will depend upon demand.
Ordering Information
--------------------
For more information, or to order the system, contact
The Secretary
Computational Algebra Group
School of Mathematics
University of Sydney
NSW 2006
Australia
Email: [email protected]
Telephone: +61 2 692 3338
Fax: +61 2 692 4534
---------------------------
|
| 1161.13 | | AUSSIE::GARSON | Hotel Garson: No Vacancies | Sat Oct 16 1993 04:56 | 14 |
| re .12
>Platforms
>---------
>
>The initial release of Magma will be available for the following processors:
>
>:
>:
> DEC Alpha under Ultrix (Available in 1994)
>:
>:
Gee, we had better hurry up and get Ultrix on Alpha released then.
|
| 1161.14 | mathematics for CA (new book reference) | STAR::ABBASI | only 51 days left... | Sat Oct 23 1993 23:55 | 21 |
| there is a new book directed towards math for computer algebra, it is
called "Mathematics for computer algebra" by M. Mignotte. priced at
29.80 bucks from springer-verlag.
i saw a copy last week at the Barnes & Nobel book store in south
Nashua, the first few chapter i saw algorithms for things like
GCD and stuff like that, (Chiness reminder was there i think?) any way
flipping the rest of it, i did not see more algorithms written out.
this is what it says in this thing i have on it:
"presents the basic mathematical tools used in CA, the first part deals
with arithmetical operations on large integers and elementary results in
number theory which have direct applications in modern cryptography.
the second part examines the factorization of polynomials with integer
coefficients, leading to the detailed study of polynomials over
different rings, complex numbers, real numbers, finite fields, and
rational integers. it also contains many exercises. classic as well as
recent theorems and useful earlier results."
\nasser
|
| 1161.15 | conf. for mma users | STAR::ABBASI | one of the 744 | Fri Feb 18 1994 00:09 | 297 |
| From: US2RMC::"[email protected]" "Conferance Administration" 17-FEB-1994 21:22:09.79
To: star::abbasi
CC:
Subj: 1994 MATHEMATICA DEVELOPER CONFERENCE FOR ADVANCED USERS
1994 MATHEMATICA DEVELOPER CONFERENCE FOR ADVANCED USERS
========================================================
The 1994 Mathematica Conference will give advanced users an opportunity
to meet Wolfram Research staff and other Mathematica experts to share
and exchange experiences and ideas. The conference will feature
workshops, forums, luncheons, a computer lab, and a series of
informative, practical sessions. Several sessions are dedicated to
helping users create Mathematica packages, MathLink applications,
Mathematica books, and interactive texts.
Location
========
University of Illinois, Illini Union, Urbana-Champaign, Illinois
Dates
=====
April 20-23, 1994
There will be an Opening Reception on Wednesday evening, April 20th.
Conference sessions will begin at 8:30 a.m. on Thursday, April 21st,
and end at 6:00 p.m. on Saturday, April 23rd.
EVENTS
======
o Opening Reception
Wednesday Evening, 20th floor of the University Inn, Champaign
o Opening Address
"The State of Mathematica", Stephen Wolfram
o Mathematica Tutorials
o Forums
o Sessions
o Problem-Solving Clinics
o Computer Lab
o Conference Attendee Presentations
o Tour of Wolfram Research, Inc.
Key Sessions
------------
o Programming Case Studies
o Mathematica Notebook Design
o Package Design
o Documentation Design
o How to Write Mathematica Courseware
o MathLink: Calling Mathematica via MathLink
o MathLink: Calling Programs from Mathematica
Business Sessions
-----------------
o Software Developer Marketing Programs and Support
o Packaging, Marketing, and Distributing your Product
o Intellectual Property Issues
Mathematica Tutorials
---------------------
These tutorials will cover advanced topics and new features
in upcoming versions of Mathematica.
o The Mathematica Front End
o Mathematica Numerics
o Mathematica Symbolics
o Mathematica Graphics
o Mathematica Programming
Forums
------
o Mathematica Q&A
An open question and answer forum that gives participants the
opportunity to ask Stephen Wolfram a wide range of technical
questions, particularly ones covering the design of Mathematica
and opportunities for Mathematica packages.
o MathLink Q&A
Shawn Sheridan will present a brief historical and design
overview of MathLink. The forum will then turn to a question
and answer format.
o Mathematica Books Forum
Authors talk about their experiences in writing Mathematica books.
Wolfram Research publication staff will also be present to answer
questions and distribute a collection of tools and documentation.
o Courseware Forum
University professors present their Mathematica-based courseware
to give ideas and guidance for developing new courseware.
o Electronic Publishing with Mathematica
Wolfram Research staff will discuss new tools and concepts in
electronic publishing with Mathematica.
o Meet WRI
Short presentations from all the groups at Wolfram Research.
Be sure register soon! Attendence for the 1994 Mathematica Developer
Conference will be limited.
European Conference
-------------------
There is a user conference currently being planned for the July '94
timeframe in Oxford, England. This conference will be intended for
active and advanced users, as well as users interested in creating
Mathematica packages, MathLink applications, Mathematica books, and
interactive texts. For more information, please email
[email protected].
Other Mathematica Conferences
-----------------------------
Wolfram Research also sponsors conferences and tutorials for new and
intermediate Mathematica users. If you are interested, please
electronic mail to [email protected] or send a FAX to the Mathematica
Conference Administrator at: 217-398-0747.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
REGISTRATION FORM
=================
** 1994 Mathematica Developer Conference for Advanced Users **
Please complete and return this form and email to [email protected] -or-
print and mail to: 1994 Mathematica Developer Conference, Wolfram
Research, 100 Trade Center Drive, Champaign, Illinois 61820-7237
Name:
Organization:
Department:
Street address:
City:
State:
ZIP/Postal code:
Country:
Telephone:
Fax:
Email:
Please answer the following questions:
--------------------------------------
* Which field do you feel best represents your area of work/study:
[ ] Administration [ ] Arts/Humanities
[ ] Business/Finance [ ] Computer sciences
[ ] Engineering [ ] Life sciences
[ ] Mathematical sciences [ ] Physical sciences
[ ] Social sciences [ ] Other
[ ] I am currently using Mathematica to teach
* What type of computer do you use?
* Please describe your Mathematica project(s).
* What would you specifically like to accomplish at this conference?
* Do you plan to bring your own portable computer? [ ] Yes
[ ] No
If yes, what kind?
* Please give any additional comments or suggestions you have for
the Developer Conference.
If you are interested in giving a short presentation about your work
with Mathematica at the Developer Conference, please contact Jane Rich
at 217-398-0700 or [email protected] before March 1, 1994.
Conference Fee
--------------
Developer Conference registration fee:
[ ] before March 18th ................................$225.00
[ ] after March 18th .................................$295.00
Fee includes all conference sessions, conference binder, lunch each day
of the conference, drinks and snacks, and other conference materials.
Please charge my conference registration fee to:
[ ] Mastercard [ ] VISA
Card Number:
Expiration date:
Cardholder's name:
-or-
I have enclosed: [ ] Check [ ] Money order
Hotel Reservations
------------------
*** Must reserve by March 18th ***
University Inn, 302 E. John, Champaign, IL 61820.
[ ] Single: $54.00
[ ] Double: $62.00, [ ] one bed -or- [ ] two beds
The University Inn is the host hotel for the 1994 Mathematica
Developer Conference. The University Inn is located within
walking distance -four blocks- of the Illini Union (location
of conference activities) and is close to the heart of campus.
Please indicate which nights you plan to stay at the hotel:
[ ] Wednesday, April 20
[ ] Thursday, April 21
[ ] Friday, April 22
[ ] Saturday, April 23
Please complete the following credit card information. All major
credit cards are accepted. This information will be used to hold the
reservation only; you may choose the form of payment upon arrival at
the hotel.
[ ] Please use the same credit card listed above (for conference fee)
[ ] Other VISA [ ] American Express
[ ] Other Mastercard [ ] Discover
Card Number:
Expiration date:
Cardholder's name:
If for some reason you are unable to attend the conference, please
notify WRI and we will cancel the hotel reservation immediately.
Opening Reception
-----------------
All attendees and their guests are invited to attend an opening
reception hosted by Wolfram Research on Wednesday, April 20, from 7 to
9pm on the 20th floor of the University Inn. The opening reception is
an opportunity to meet and talk with fellow Mathematica users, Wolfram
Research staff, and Mathematica book publishers.
[ ] I plan to attend
[ ] I plan on bringing [ ] guest(s)
[ ] I will not be able to attend
Spouse/Family
-------------
[ ] I will be bringing family and would like an Activities Packet
(the packet includes maps of the U of I campus and Champaign-Urbana,
area shopping centers and restaurants, and novel attractions)
[ ] I would like to bring my spouse/family to the luncheon with me on:
[ ] Thursday, April 21, number of additional people:
[ ] Friday, April 22, number of additional people:
[ ] Saturday, April 23, number of additional people:
(there is no extra charge, we would just like advance notice)
Registration Confirmation
-------------------------
We will send you a confirmation along with all necessary maps, hotel
information, and schedules by April 10th. Please contact us if for some
reason you have not received these materials by then.
Nondisclosure Agreement
-----------------------
All attendees must sign a non-disclosure agreement before the conference.
Please return with your registration form (either printed or electronic).
______________________________________ ("Attendee")
wishes to attend the 1994 Mathematica Developer Conference for Advanced
Users scheduled for April 21 to 23, 1994. Attendee understands
that Wolfram Research, Inc. (WRI) will disclose confidential and
proprietary materials at the Conference. Attendee agrees not to
use or disclose confidential information or proprietary materials other
than as authorized by this agreement.
"Confidential Information" means all information, not in the public
domain, disclosed by WRI during the Conference. Confidential
Information includes, but is not limited to, information about
unreleased versions of WRI's products and information about WRI's
customers.
"Proprietary Materials" means all materials, not in the public domain,
distributed by WRI at the Conference. Proprietary Materials include,
but are not limited to, Mathematica code, software tools, and TEX
macros.
Attendee is authorized to make personal use of Confidential Information
and Proprietary Materials to enhance the benefits of Mathematica to the
Attendee. Attendee is not authorized to reproduce or distribute
Confidential Information or Proprietary Materials (unless permission to
do so is granted in writing) or to use Confidential Information or
Proprietary Materials to enhance the use of any product that could be
considered to compete with Mathematica.
Attendee name (signature):
Date:
-----------------------------------------------------------------------
|
| 1161.16 | Now on the World Wide Web ... | AZUR::DESOZA | Jean-Pierre Sophia-Antipolis, DTN 828-5559 | Wed Jan 04 1995 04:42 | 5 |
| I have seen interesting packages at this WWW URL:
gopher://archives.math.utk.edu/11/software
For those using a Macintosh, I have been very impressed by MacMuPAD that can be
found there. Only the FPU version seems to work for me.
|