Here is a growing list of pre-set and interactive demos of various capabilities and systems for SAC. The demos are at many levels and are meant for newcomers as well as for experts. Please send email if you wish to provide a demo item.

Online Grobner Basis Caculation

You can try Grobner Basis calculations using Buchberger Algorithm, Arbitrary Precision Arithmetic, etc.. The author hopes to get around to speeding it up & adding more features.....

WIMS

Www Interactive Mathematics Server, an internet server system designed for mathematical education.

Group32

A program that computes information about groups of order 1-32.

GRTensorJ

A live interactive demo of GRTensorJ (a Java interface to GRTensor). GRTensor II is a computer algebra package for performing calculations in the general area of differential geometry. Its purpose is the calculation of tensor components on curved spacetimes specified in terms of a metric or set of basis vectors. The package contains a library of standard definitions of a large number of commonly used curvature tensors, as well as the Newman-Penrose formalism.

Ganith Demo

Ganith is an algebraic geometry toolkit. It runs on a machine in the SHASTRA laboratory at Purdue University (Indiana, USA) and will display remotely on your X-Workstation.

ICM/Kent Demos

Interactive demos provided by ICM/Kent (USA): including polynomial factorization, 2D/3D graphs, derivatives, integrals, Taylor series, limits, as well as Fortran, LaTeX, and MathML code generation.

Web-based Mathematics Education Pilot Site

An experimental Web site for a new way to enhance the delivery of mathematics education and learning of mathematics.

Maple Demo

The MathServ Calculus Toolkit. Web access to computations using Mathematica

The Waterloo Maple FTP Site contains demonstration versions of their products. To FTP a particular demo, click on the hyperlink of the version interests you. This will take you to the directory of the FTP site where that demo is located. From there you can download the demo by clicking on the file you want.

Mathematica Demo

An interactive demo provided by Wofram Research. The computations you request will be run on a computer at Wofram Research. You may select a Tour of Mathematica, Solving the Quintic with Mathematica, or Mathematica Graphics and Code.

MathTools Demo

Among MathTools products are MATCOM V2, the Matlab to C++ compiler, and MAT&ltLIB>, a matrix C++ class library. Both products are available for download and evaluation.

Reduce Demo

PSL based demonstration version of REDUCE 3.6 is available for IBM-compatible PCs running MS/DOS, Windows 3.1, or Linux as well as a CSL based demonstration version for PCs running MS/DOS and for the Apple Macintosh.

TILU Table of Integrals Look Up

TILU is a server (written in Lisp) that looks up integrals in a reference table. The server stands ready to process incoming requests and applies techniques for fast retrieval of results.

University of Texas Demos

The following demos are provided by Gordon Shaw Novak Jr. at the University of Texas. They use symbolic math. The symbolic math involved is fairly trivial, but the user interfaces may be of interest.

• Automatic Programming Server: (*) Create programs in Lisp or C.
• VIP Demo: Write programs to solve physics and math problems by connecting diagrams.
• Unit Conversion Demo: Convert units of measurement.
• Isaac Demo: Solve physics problems stated in English.