[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

1161.0. "symbolic math software" by RIPPLE::ABBASI_NA () Tue Dec 12 1989 15:05

    Any body out there has experience with using mathematica package ?
    What do you think the better PC to use with it (Machintosh,IBM,etc..)
                                                                      
    Iam looking to buy a Math. package but not sure which and how much
    graphics I need to use it .
    
     thank you in advance.
T.RTitleUserPersonal
Name
DateLines
1161.2references to Mathematica notesHERON::BUCHANANcombinatorial bomb disposal squadThu Dec 14 1989 10:354
	See Note 1143, also the out-of-date 983

Regards,
Andrew.
1161.3computer Algebra SurveySTAR::ABBASIWed Jan 29 1992 01:55483

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: rayes@Condor.mcs.kent.edu (Mohamed Omar Rayes)
Newsgroups: sci.math.symbolic
Subject: Computer Algebra literature and packages survey
Message-ID: <1992Jan26.003708.9450@mcs.kent.edu>
Date: 26 Jan 92 00:37:08 GMT
Sender: news@mcs.kent.edu (News Administrator)
Reply-To: rayes@mcs.kent.edu
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
rayes@mcs.kent.edu. 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: maple@daisy.waterloo.edu
 
        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: jpg@allegheny.scrc.symbolics.com
                 pwang@mcs.kent.edu
                 rayes@mcs.kent.edu
        
        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: reduce-netlib@rand.org
 
        Comments: General purpose
 
 
Aljabr::
        Type: commercial
        
        Machines: PC (I think)
 
        Contact: aljabr@fpr.com
 
        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: t68@nikhef.nl . 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 netlib@ornl.gov
 
 
BigNum
    J. Vuillemin, INRIA, FRANCE, and others.
    Distributed by Digital Equipment Paris Research Lab (DECPRL)
    Available via email from librarian@decprl.dec.com.
    Package includes TEX documentation.
    Publicly available for non-commercial use.
 
amp  Contact Antti Louko   alo@kampi.hut.fi
 
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 (kbriggs@mundoe.maths.mu.oz.au)
 
================================================
 
Other people to contact
 
 
        Doug Andersen        hari@sugar.neosoft.com              (Axiom)
        Bill Beckner         beckner@math.utexas.com
        George Carrette      gjc@mitech.com                      (MACSYMA)
        Bruce Char           bchar@mcs.drexel.edu                (early sys)
        Brian Evans          evans@eedsp.gatech.edu
        Paul Evans           pdevans@sail.uwaterloo.ca           (Maple/Mathcad)
        Dan Frezza           dfrezza@vela.acs.oakland.edu        (Derive)
        Jeffrey Golden       jpg@allegheny.scrc.symbolics.com    (MACSYMA)
        Jeff Greif           jmg@inference.com                   (SMP)
        Leo Harten           lph@paradigm.com                    (ParaMacs)
        Tony Hearn           hearn@rand.org                      (REDUCE)
        Daniel Lazard        dl@posso.ibp.fr                     (Axiom)
        Michael Monagan      mbmonaga@daisy.waterloo.edu         (Maple)
        James O'Dell         jim@fpr.com                         (TK!Solver)
        Ue-Li Pen            upen@astro.princeton.edu
        Richard Pavelle      rp@xn.ll.mit.edu
        Andrzej Pindor       pindor@gpu.utcs.utoronto.ca         (MathCAD)
        Mohammed Rayes       rayes@mcs.kent.edu                 (VAXIMA, PARI)
        Richard Schroeppel   fermat!r@la.tis.com
        Joel Shapiro         shapiro@jashap.rutgers.edu
        Neil Soiffer         soiffer@wri.com                     (Mathematica)
        Glenn Thobe          getunx!thobe@uunet.uu.net           (early sys)
        Jos Vermaseren       t68@nikhef.nl                       (FORM)
        Edward Wright        Edward_D_Wright@cup.portal.com
        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.4CAYLEY , computer algerba program, looks interestingSTAR::ABBASIWed Mar 18 1992 13:41116
Article: 4044
Path: nntpd.lkg.dec.com!pa.dec.com!decwrl!mips!munnari.oz.au!metro!cayley
From: cayley@maths.su.oz.au (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: cayley@maths.su.oz.au
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: cayley@maths.su.oz.au Telephone: +61 2 692 3338 Fax: +61 2 692 4534
    
1161.5Terminal summation, new class of functions using CASSTAR::ABBASIi^(-i) = SQRT(exp(PI))Tue Jul 21 1992 19:4311
    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.6Yet ANother computer algebra system available, freeSTAR::ABBASIiam your friendly psychic hotlineSun Dec 27 1992 04:5843
From: jaffer@zurich.ai.mit.edu (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.7list of available CAS systemsSTAR::ABBASIi think iam psychicSun Feb 07 1993 04:00604
From: ca@math.berkeley.edu ()
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 :
 
			ca@math.berkeley.edu
 
GENERAL PURPOSE
===============
 
Maple:: 
	Type:      commercial
	Machines:  Unix workstations (DEC, HP, IBM, MIPS, Sun, SGI, Apollo), 
                   386 PC's, Mac, Amiga, Atari, AT&T 3B2, Gould, Convex, NCR, 
		   Pyramid, Sequent, Unisys and Cray's.
	Contact:   info@maplesoft.on.ca
		   Waterloo Maple Software, 160 Columbia Street West,
        	   Waterloo, Ontario, Canada     N2L 3L3
        	   Phone: (519) 747-2373
	Version:   5 Rel. 1. Rel. 2 available for DEC and SUN.
	Comments:  General purpose , source available for most routines ,
		   graphics support in 5.0. A demo of the program for PC-DOS
		   can be obtained from anonymous FTP at
		   wuarchive.wustl.edu:/edu/math/msdos/modern.algebra/maplev.zip
 
Mathematica::
	Type: 	   commercial
	Machines:  Cray YMP down to Mac's and PC's
	Contact:   info@wri.com, Phone: 1-800-441-MATH
		   Wolfram Research, Inc.
 	           100 Trade Center Drive, Champaign IL 61820-7237
	Version:   2.1
	Comments:  General purpose, Notebook interface on Next, Mac, 
	           nice graphics. 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:   info-macsyma@macsyma.com, Phone: 800-MACSYMA
		   Macsyma Inc,  20 Academy St., Arlington MA 02174-6436
    	Version:   depends on machine: 417.100 is the latest (for Sun-4, HP, 
		   DEC RISC, SUN and RS6000), 417.125 for PC's
   	Comments:  General purpose, many diverse capabilities, one of the 
		   oldest around. Includes propietary improvements from 
		   Symbolics and Macsyma Inc. Descendant of MIT's Macsyma.
 
DOE-Macsyma:
	Type:      distribution fee only
	Machines:  GigaMos, Symbolics, and TI Explorer Lisp machines.  The NIL 
                   version runs on Vaxes using the VMS system.  The public 
                   domain Franz Lisp version, runs on Unix machines, including 
                   Suns and Vaxes using Unix.
	Contact:   ESTSC - Energy Science & Technology Software Center 
		   P. O. Box 1020 Oak Ridge TN 37831-1020
		   Phone: (615) 576-2606
	Comments:  Help with DOE-Macsyma, general and help with issues such as
	           obtaining support, new versions, etc: lph@paradigm.com
                   Leo Harten from Paradigm Associates, Inc. 29 Putnam Avenue, 
		   Suite 6, Cambridge, MA 02139 (617) 492-6079.
 
Maxima::
	Type:	   Licence for a fee. Get licence from ESTC before download.
	Machines:  Unix workstations (Sun, MIPS, HP, PC's) and PC-DOS (beta).
        Contact:   wfs@rascal.utexas.edu (Bill Schelter)
	Version:   4.155
	Comments:  General purpose -  MIT Macsyma family. Common Lisp 
                   implementation by William F. Schelter, based on Kyoto
		   Common Lisp. Modified version of DOE-Macsyma available
		   to ESTSC (DOE) sites. Get the licence from ESTSC (phone:
		   615-576-2606) and then dowload the software from 
		   DOS: math.utexas.edu:pub/beta-max.zip   or
		   UNIX: rascal.ics.utexas.edu:pub/maxima-4-155.tar.Z
		   Currently their charge for 1 machine license is $165 to
		   universities. Site licenses are also available.
 
Aljabr::
	Type:      commercial
	Machines:  Mac's with 4Meg of RAM. 
	Contact:   aljabr@fpr.com,  Phone: (508) 263-9692, Fort Pond Research.
                   15 Fort Pond Road, Acton MA  01720 US
	Version:   1.0
	Comments:  MIT Macsyma family descendant, uses Franz LISP.
 
Paramacs::
	Type:      commercial 
	Machines:  VAX-VMS, Sun-3, Sun-4, (SGI and Mac's on the works)
	Contact:   lph@paradigm.com (Leo Harten) Paradigm Associates, Inc.
		   29 Putnam Avenue, Suite 6, Cambridge, MA 02139 (617) 492-6079
	Version:   1
	Comments:  Improved SHARE library and enhanced ODE solver (over 
		   DOE-Macsyma) and animated graphics. Maintenance, phone 
		   services, and site licensing available.
 
Vaxima::
	Type:	   distribution fee only
	Machines:  VAX-Unix
        Contact:   ESTSC (see DOE-Macsyma above)
	Version:   ???
	Comments:  General purpose -  MIT Macsyma family descendant.
		   Includes source and binaries with assembler for Macsyma 
		   and Franz Lisp Opus 38
 
Reduce::
	Type:      commercial
	Machines:  Cray Y-MP down to Mac's and PC's and Ataris.
	Contact:   reduce@rand.org,  Anthony C. Hearn, RAND, 1700 Main Street
	           P.O. Box 2138, Santa Monica CA 90407-2138 U.S.A.
		   Phone: +1-310-393-0411 Ext. 6615  Fax: +1-310-393-4818
	Version:   3.4.1
	Comments:  General purpose 
 
SENAC::
        Type:      commercial
        Machines:  Sun-3, Sun-4 (SPARC), VAX (UNIX, ULTRIX and VMS), PC (Sp93).
        Contacts:  senac@ulcc.ac.uk, senac@waikato.ac.uk
                   For Europe:				For rest of the world:
                   Minaz Punjani			Kevin. A. Broughan
                   University of London Comp Centre     Mathematical Soft 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:   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 platforms
	Contact:   USA:				Rest of the world:
		   ryan@nag.com 		themos@nag.co.uk
                   NAG Inc 			NAG Ltd
		   1400 Opus Place, Suite 200 	Wilkinson House
		   Downers Grove, Il 60515-5702 Jordan Hill Rd.
		   Phone: (708) 971-2337 	Oxford OX2 8DR
		   FAX:   (708) 971-2706	United Kingdom
        					Phone: +44 (865) 51-1245
        					Fax:   +44 (865) 31-0139
	Version:   1.1
	Comments:  General purpose.
 
Derive::
	Type:      commercial 
	Machines:  Runs on PC's and HP 95's.
	Contact:   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 
 
Mock-Mma::
	Type:      anonymous FTP
	Machines:  Anywhere running Common LISP.
	Contact:   fateman@cs.berkeley.edu
        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:   rz@cs.cornell.edu (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:   cayley@maths.su.oz.au 
		   Phone: (61) (02) 692 3338, Fax: (61) (02) 692 4534
		   Computational Algebra Group
                   University of Sydney
                   NSW 2006 Australia
	Version:   3.8.3
	Comments:  Designed for fast computation with algebraic and
 		   combinatorial structures such as groups, rings,
 		   fields, modules and graphs. Although it began as a
 		   group theory system it has recently evolved into a
 		   general (abstract) algebra system.
 
GAP::
	Type:      anonymous ftp (free, but not PD; basically GNU copyleft)
	Machines:  All Unix workstations, ATARI ST, IBM PC and MAC 
        Contact:   gap@samson.math.rwth-aachen.de
	FTP site:  samson.math.rwth-aachen.de (137.226.152.6) & math.ucla.edu
	Version:   3.1 (3.2 to be released Dec 92)
	Comments:  group theory calculations.
 
 
ALGEBRA & NUMBER THEORY
=======================
 
PARI::
	Type:      anonymous ftp  
	Machines:  Most workstations, Mac and NeXT
	Contact:   pari@mizar.greco-prog.fr
                   anonymous ftp to math.ucla.edu (128.97.64.16)
	           in the directory /pub/pari
	Version:   1.35
	Comments:  Number theoretical computations, source available, key 
		   routines are in assembler, ascii and Xwindows graphics. 
		   PC-DOS version available from anonymous FTP at 
		   wuarchive.wustl.edu:/edu/math/msdos/modern.algebra/pari386
 
Macaulay::
	Type:      anonymous ftp
	Machines:  SUN, DEC, Mac, binary Mac versions available
	Contact:   Dave Bayer (Barnard Coll.)    Mike Stillman (Cornell Univ.)
    	           Department of Mathematics     Department of Mathematics
    		   Columbia University           Cornell University
    		   New York, NY 10027            Ithaca, NY 14853
    		   (212)854-2643, 864-4235       (607)255-7240, 277-1835
    		   bayer@cunixa.cc.columbia.edu  mike@mssun7.msi.cornell.edu
	Version:   3.0
	Comments:  A system for computing in algebraic geometry and commutative 
		   algebra (polynomial rings over finite fields). Available from
		   anonymous ftp to zariski.harvard.edu (128.103.1.107)
 
Kant::
	Type:      ???
	Machines:  ???
	Contact:   KANT Group
		   Prof. Dr. M. E. Pohst / Dr. Johannes Graf v. Schmettow 
		   Mathematisches Institut, Heinrich-Heine-Universit\"at 
		   Universit\"atsstr. 1, D-4000 D\"usseldorf 1 
		   pohst@dd0rud81.bitnet or schmetto@dd0rud81.bitnet
        Version:   1 & 2
	Comments:  Kant (Computational  Algebraic  Number  Theory) is 
		   subroutine  package for algorithms  from geometry of 
		   numbers and  algebraic number theory. There are  two 
		   versions of  Kant:  Kant  V1 is written  in Ansi-Fortran 77,
		   while Kant V2 is built on the Cayley Platform and written in 
		   Ansi-C.
 
LiE::
	Type:      commercial 
	Machines:  Unix workstations (SUN, DEC, SGI, IBM), NeXT, PC's,
                   Atari and Mac's.
	Contact:   lie@can.nl, Phone: +31 20 592-6050,  FAX: +31 20 592-4199
                   CAN Expertise Centre, Kruislaan 413, 
                   1098 SJ Amsterdam, The Netherlands
	Version:   2
	Comments:  Lie group computations
 
SIMATH::
	Type:      anonymous ftp 
	Machines:  Suns, Apollo DN and Siemens workstations.
	Contact:   simath@math.uni-sb.de
	Version:   3.5
	Comments:  General purpose
 
UBASIC::
	Type:	   anonymous FTP (ubas830.zip)
	Machines:  Mac and IBM PC's
	Contact:   malm@argo.acs.oakland.edu, Phone: (313) 370-3425
	 	   Donald E. G. Malm, Department of Mathematical Sciences
                   Oakland University, Rochester, MI 48309-4401
	Version:   8.30
	Comments:  BASIC-like environment for number theory. In the collection
		   of programs written for it one can find: 
		   MALM (Collection of UBASIC Number Theory Programs (malm.zip)
		   by Donald E. G. Malm (and copyrighted by him), including: 
		   Baillie-Wagstaff Lucas pseudoprime test, Algorithm for 
  		   Chinese remaindering, Elliptic curve method to factorize n, 
		   Fermat's method of factoring, General periodic continued 
		   fraction to quadratic routine, Evaluates Carmichael's 
		   function & D. H. Lehmer's method of solving x^2 = q (mod p).
		   UBMPQS (Prime factorization program for numbers over 80 
		   digits (ubmpqs32.zip)), that can be found in the WURST 
		   Archives (wuarchive.wustl.edu).
 
Numbers::
	Type:      Free but not Public Domain, registration required.
	Machines:  PC-DOS
	Contact:   Ivo Dntsch                   Phone:    (++49) 541-969 2346
	           Rechenzentrum                 Fax:     (++49) 541-969 2470
          	   Universitt Osnabrck         Bitnet:   duentsch@dosuni1
          	   Postfach 4469
          	   W 4500 Osnabrck GERMANY
        Version:   202c
	Comments:  Numbers is a calculator for number theory. It performs 
	   	   various routines in elementary number theory, some of  
		   which are also usable in algebra or combinatorics.
	  	   Available in the anonymous FTP in ftp.rz.Uni-Osnabrueck.de  
		   in the directory /pub/msdos/math
 
CoCoA::
	Type:      Anonymous FTP
	Machines:  Mac's; PC's on the works.
	Contact:   cocoa@igecuniv.bitnet (Gianfranco Niesi)
		   Dipartimento di Matematica
		   Via L.B. Alberti, 4 
		   I-16134   Genova (Italy)
	Version:   1.5
	Comments:  Computations in commutative algebra. Available on the 
		   anonymous FTP at  ftp.dm.unipi.it:/pub/alpi-cocoa/cocoa
		   or diskettes (2) sent in a self-addressed to the author.
 
Galois::
	Type:      Commercial
	Machines:  IBM-PC DOS
	Contact:   CIFEG Inc., Kalkgruberweg 26, A-4040 Linz, Austria
        Version:   ???
	Comments:  Algebra and number theory microcomputer  written by
   		   R. Lidl, R. W. Matthews, and R. Wells from the U. Tasmania 
		   in Turbo Pascal v3.0.
 
GANITH::
	Type:      Anonymous FTP
	Machines:  Any system with vanilla Common Lisp, X 11, and has at least 
		   a rudimentary Lisp/C interface.
	Contact:   Chanderjit Bajaj & Andrew Royappa 
                   Department of Computer Science, Purdue University
                   West Lafayette, IN 47907
		   (bajaj and royappa@cs.purdue.edu)
        Version:   
	Comments:  GANITH is an algebraic geometry toolkit, for computing 
		   and visualising solutions to systems of algebraic equations.
                   It is written in Common Lisp and C, and runs under version
  		   11 of the X window system.
  		   GANITH is available from the anonymous FTP at 
		   cs.purdue.edu in the file /pub/avr/ganith-src.tar.Z
 
 
TENSOR ANALYSIS
===============
 
MathTensor::
	Type:      commercial
	Machines:  All computers that run Mathematica 1.2, 2.0 or greater.
	Contact:   mathtensor@wri.com
		   MathSolutions, Inc., P.O. Box 16175
		   Chapel Hill, NC 27516, USA
   		   Phone and FAX: (919) 967-9853
	Version:   2.1.5
	Comments:  Elementary and advanced tensor analysis.  Adds
		   more than 250 functions and objects to Mathematica.	
 
Ricci::
	Type:      Anonymous FTP from otter.stanford.edu
	Machines:  All computers that run Mathematica 2.0 or greater.
	Contact:   Jack Lee  (lee@math.washington.edu)
                   Department of Mathematics
                   University of Washington
                   Seattle, WA 98195
                   Fax:      206-543-0397
	Version:   1.0
	Comments:  Mathematica package for doing tensor computations in
                   differential geometry, including coordinate-free tensor
                   operations as well as indexed tensors with dummy indices
                   and the summation convention.
 
SchoonShip::
	Type:      ???
	Machines:  ???
	Contact:   mentioned in  Comp.Phys. Comm. 8, 1 (1974).
	Version:   ???
	Comments:  Developed at CERN (I think) by Veltman, during the second 
		   half of the sixties. Its purpose was to tackle problems in
		   quantum electrodynamics.
 
STENSOR::
	Type:	   Symbolic contribution of $250
	Machines:  IBM 3090, VAX DECStation, SUN, Apollos, Orion, Atari & Amiga,
		   IBM 386, 486 and MacIntosh in the works.
	Contact:   lh@vand.physto.se, 
		   Lars Hornfeldt, Physics Department, University of Stockholm
                   Vanadisvagen 9, S-113 46 Stockholm, Sweden phone +46 8 837114
        Version:   2.31
	Comments:  System for tensor calculus and noncommutative algebra.
		   It icludes the systems SHEEP/CLASSI.
 
 
LISP CALCULATORS
================
 
JACAL:: 
	Type:      Gnu CopyLeft
	Machines:  Needs a Lisp (either Common or Scheme) 
	Contact:   Available by anon ftp to altdorf.ai.mit.edu [18.43.0.246]
	Version:   ???
	Comments:  An IBM PC version on floppy for $50 is available from 
 		   Aubrey Jaffer, 84 Pleasant St. Wakefield MA 01880, USA.
 
GNU-calc::
	Type:      GNU copyleft
	Machines:  Where Emacs runs.
	Contact:   Free Software Foundation
        Version:   ???
	Comments:  It runs inside GNU Emacs and is written entirely in Emacs
		   Lisp. It does the usual things: arbitrary precision integer,
		   real, and complex arithmetic (all written in Lisp), 
		   scientific functions, symbolic algebra and calculus, 
		   matrices, graphics, etc. and can display expressions with 
		   square root signs and integrals by drawing them on the 
		   screen with ascii characters. It comes with well written 
		   600 page online manual. You can FTP it from any GNU site.
 
 
DIFFERENTIAL EQUATIONS
======================
 
LIE::
	Type:      Public Domain
	Machines:  PC-DOS
	Contact:   HEAD@RIVETT.MST.CSIRO.AU (A. K. Head)
		   CSIRO Division of Materials Science and Technology
		   Melbourne Australia   or
		   Locked Bag 33, Clayton, Vic 3168, Australia
		   Phone: (03) 542 2861 Telex: AA 32945 Fax: (03) 544 1128
        Version:   3.3
	Comments:  LIE is a program written in the MuMath language (not a 
		   package) for Lie analysis of differential equations. 
		   Available from anonymous FTP at 
		   wuarchive.wustl.edu: /edu/math/msdos/adv.diff.equations/lie33
 
DELiA::
	Type:      Informal distribution
	Machines:  IBM PC's (DOS)
	Contact:   A. V. Bocharov, Program Systems Institute, 
		   USSR Academy of Science, Pereslavl, 
                   P.O. Box 11, 152140 USSR, Tlx: 412531 BOAT
	Version:   ???
	Comments:  Differetial equation computations
 
 
PC SHAREWARE
============
 
SymbMath::
	Type:      shareware, student and advanced versions.
	Machines:  IBM PC
	Contact:   huang@deakin.oz.au,   Phone: 61-52-443282
		   Dr Weiguang Huang, 5/6 Cara Road, Geelong, Vic. 3216, 
		   Australia
	Version:   2.1.1
	Comments:  Runs on plain (640k) DOS machines. The shareware version
		   is available in the file sm211a.zip on the Wurst Archives.
		   More capable versions are available by mail-order from the 
	           author.  
 
CLA::
	Type:      anonymous FTP
	Machines:  PC-DOS
	Contact:   Lenimar Nunes de Andrade (CCENDM03@BRUFPB.BITNET)
                   UFPB - CCEN - Dep.  de Matema'tica
                   58.059 - Joa~o Pessoa, PB - BRAZIL
        Version:   2.0
	Comments:  A linear or matrix algebra package which computes
		   rank, determinant, rwo-reduced echelon form, Jordan 
		   canonical form, characteristic equation, eigenvalues, 
	 	   etc. of a matrix. Available from anonymous FTP at 
		   wuarchive.wustl.edu:/edu/math/msdos/linear.algebra/cla20.zip
 
XPL::
	Type:      anonymous FTP
	Machines:  PC-DOS
	Contact:   David Meredith, Department of Mathematics
                   San Francisco State University
                   San Francisco, CA 94132
                   meredith@sfsuvax1.sfsu.edu
        Version:   4.0
	Comments:  Formerly called CCALC. Well-integrated graphics and some
		   (numerical) matrix manipulation routines. Intended for 
		   calculus students. Prentice Hall sells this with a book 
		   (ISBN 0-13-117441-X--or by calling 201-767-5937), but it 
		   is also available (without the manual but with a 
		   comprehensive help system) by anonymous FTP from 
		   wuarchive.wustl.edu: /edu/math/msdos/calculus/cc4-9206.zip.
 
AMP::
	Type:      Commercial, evaluation copy available by anonymous FTP
	Machines:  PC-DOS
	Contact:   Mark Garber (71571,2006@compuserve.com) Ph: (404) 452-1129
     		   Cerebral Software, PO Box 80332, Chamblee, GA 30366
        Version:   3.0
	Comments:  The Algebraic Manipulation Program (AMP) is written in 
		   Modula-2 and is a symbolic calculation tool. AMP functions 
		   in an interpreter mode and program mode. It  has tensor 
		   manipulation using index notation.  The evaluation copy is
		   available in the anonymous FTP at:
		   ftp.rz.Uni-Osnabrueck.de:pub/msdos/math/amp30.zip
 
Mercury::
	Type:      Shareware
	Machines:  PC-DOS
	Contact:   Roger Schlafly, Real Software, PO Box 1680, Soquel, CA 95073
        	   phone or fax: 408-476-3550, 76646,323@compuserve.com
        	   TTDX08A@prodigy.com
        Version:   2.06
	Comments:  Limited in symbolic capabilities, but is extremely adept 
		   at numerically solving equations and produces publication
		   quality graphical output. This used to be Borland's Eureka!, 
		   but when Borland abandoned it, its original author started 
		   selling it as shareware under the name Mercury. Available
		   from anonymous FTP at 
		   wuarchive.wustl.edu:/edu/math/msdos/calculus/mrcry206.zip
 
PFSA::
	Type:      Public Domain
	Machines:  PC-DOS and a Unix non-interactive version.
	Contact:   stevens@cims.nyu.edu, 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 (sibley@math.psu.edu  group theory) &
		   MACO (olazabal@ccucvx.unican.es), FELIX.
 
    
1161.8FYI, MAJOR NEW FEATURES IN MATHEMATICA VERSION 2.1STAR::ABBASIi think iam psychicMon Feb 22 1993 16:25263
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.9STAR::ABBASIi think iam psychicWed Feb 24 1993 18:1210
    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.10RUSURE::EDPAlways mount a scratch monkey.Thu Feb 25 1993 11:118
    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.11RUSURE::EDPAlways mount a scratch monkey.Tue Mar 30 1993 17:0911
    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.12MAGMA systemSTAR::ABBASIonly 62 days left to graduateFri Oct 15 1993 14:17242
From:	US2RMC::"magma@maths.su.oz.au" "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: magma@maths.su.oz.au
 Telephone: +61 2 692 3338
 Fax: +61 2 692 4534

                ---------------------------

1161.13AUSSIE::GARSONHotel Garson: No VacanciesSat Oct 16 1993 06:5614
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.14mathematics for CA (new book reference)STAR::ABBASIonly 51 days left...Sun Oct 24 1993 01:5521
        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.15conf. for mma usersSTAR::ABBASIone of the 744Fri Feb 18 1994 03:09297
From:	US2RMC::"conf@wri.com" "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
euro-conf@wri.com.

Other Mathematica Conferences
-----------------------------
Wolfram Research also sponsors conferences and tutorials for new and
intermediate Mathematica users.  If you are interested, please
electronic mail to conf@wri.com 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 devconf@wri.com -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 rich@wri.com 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.16Now on the World Wide Web ...AZUR::DESOZAJean-Pierre Sophia-Antipolis, DTN 828-5559Wed Jan 04 1995 07:425
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.