URLS for Softwares on Mathematics

Computer algebra systems

1. AXIOM

   General purpose with object-oriented language. The commercial version is discontinued. Open axiom is now developed under the BSD-liked lincence. Its compilor is ALDOR.

   • Commerce NAG(http://www.nag.co.uk/symbolc_software.asp)
   • Open Axiom

     http://www.nongnu.org/axiom

     http://savannah.nongnu.org/projects/axiom

h

2. ALDOR

   Object-Oriented language. a CAS without AXIOM.

   http://www.aldor.org

3. DERIVE

   General purpose.

   Soft Warehouse(http://www.derive.com/)

4. GAP

   Group theory.

   GAP(http://www-gap.dcs.st-and.ac.uk/gap)

5. Macaulay2

   Commutative algebra. Very unique system.

   http://www.math.uiuc.edu/Macaulay2/

6. Macsyma

   General purpose.

   Macsyma Inc.(http://www.macsyma.com/)

7. Maxima

   GPLed DOE-Macsyma based on the common lisp environment.

   http://maxima.sourceforge.net

   http://www.ma.utexas.edu/users/wfs/maxima.html

   Maxima Manual

   • In English:

     http://www.ma.utexas.edu/maxima

   • In Japanese:

     http://www.bekkoame.ne.jp/~ponpoko/Math/maxima/maxima_toc.html

8. LIVEMATH

   General purpose, former called "Theorist".

   Theorist Interactive, LLC(http://www.livemath.com/)

9. Mathematica

   General purpose.

   Wolfram Research Inc.(http://www.wolfram.com/)

10. Maple

    General purpose.

    Waterloo Maple Inc.(http://www.maplesoft.com/)

11. MathCAD

    General purpose.

    MathSoft Inc.(http://www.mathsoft.com/)

12. MuPAD

    General purpose.

    MuPAD group's WebPage:(http://www.mupad.de/)

    SciFace Software:(http://www.sciface.com/)

13. PARI-GP

    Number theory with large analytical functions.

    PARI/GP WebPage: (http://www.ufr-mi.u-bordeaux.fr/A2X/Logiciels.html/)

    pariGUIde

    http://www.skalatan.de/pariguide/

14. REDUCE

    General purpose.

    http://www.reduce-algebra.com

15. RISA/ASIR

    General purpose. Very fast to calculate the groebner basis.

    • fujitsu stable version.

      http://risa.cs.ehime-u.ac.jp/

    • Stable version and head version as a part of OpenXM.

      http://www.math.kobe-u.ac.jp/OpenXM

16. SIMATH

    Commutative algebra.

    http://emmy.math.uni-sb.de/~simath/

17. SINGULAR

    Albegraic geometry, Commutative algebra.

    http://www.singular.uni-kl.de/

MATLAB like Systems

1. MATLAB

   MathWorks:http://www.mathworks.com/

2. Octave

   GNU MATLAB Clone.

   Octave WebPage:(http://bevo.che.wisc.edu/octave/)

3. FreeMat

   MATLAB Clone.

   http://freemat.sourceforge.net/

4. Euler Math Toolbox

   MATLAB like, not clone. Euler Math Toolbox includes Maxima.

   http://eumat.sourceforge.net/

5. RLaB

   MATLAB like, not clone.

   http://rlab.sourceforge.net/

6. Scilab

   The most excellent and powerfull system of the Matlab-like systems.

   Official site:(http://http://www-rocq.inria.fr/scilab/)

7. TeLa

   Tensor Language for large systems.

   TeLa WebPage:(http://www.geo.fmi.fi/prog/tela.htm)

8. Yorick

   C-like interactive language. Fast calculation and plotting features.

   • Original:

     ftp://ftp-icf.llnl.gov/pub/Yorick/doc/index.html

   • Yorick-mp(Yorick Maintenon Branch)

     target=CAS> http://yorick-mb.sourceforge.net/

Statistics, Viewer, etc.

1. Lispstat

   Statistics.

   http://www.stat.umn.edu/~luke/xls/xlsinfo/xlsinfo.html

2. R

   GNU-S based S version 3.

   http://www.r-project.org

3. Cinderella

   Interactive geometry for educations. Written in JAVA.

   http://www.cinderella.de

4. KSEG

   Interactive geometry for educations alike Cinderella. Needs QT2 or QT3 library.

   http://www.mit.edu/~ibaran/kseg.html

5. dynagraph

   Visualize curves and surfaces in 3D space. Almost same to Maple's graphics functions.

   http://www.math.umbc.edu/~rouben/dynagraph

6. Geomview

   Viewer for OOGL-objects with many features.

   http://http.geomview.org/

7. Surf

   To draw beatiful images of algebraic curves and surfaces. C-like (primitive) language and GUI.

   • XView-version

     http://enriques.mathematik.uni-mainz.de/surf/surf.shtml

   • GTK-version

     http://surf.sourceforge.net/

8. KSEG

   An interactive Sketchpad for Euclid Geometry, ressembles to Cinderella. Excellent!

   • KSEG http://www.mit.edu/~ibaran/kseg.html

9. SnapPea

   Compute invariants for Hyperbolic manifolds.

   • SnapPea

     http://geometrygames.org/SnapPea/index.html

   • SnapPea 3.0(SnapPea with Python's frontend)

     http://geometrygames.org/SnapPea/SnapPea3.html

10. Snap

    Compute invariants for Hyperbolic manifolds. Enhanced SnapPea.

    http://www.ms.unimelb.edu.au/~snap/

11. Teddy

    3D modeler written in JAVA. Teddy makes the closed curve to 3D object, of which projection is the closed curve what you drawed. You can bend it and attach bodies and drawing on it. To color it, you can use Chameleon, which works only on Windows.

    "http://www.mtl.t.u-tokyo.ac.jp/~takeo/teddy/teddy-j.htm">

12. FEMLEEG

    Powerful FEM solver, charge free!!!

    http://www.femleeg.org/