This page lists software for mathematics some
commercial and some just shared. There is also another listing of
Software Houses.
- GAMS - Guide to Available
Mathematical Software from NIST:
- A cross-index and virtual repository of mathematical and statistical
software components of use in computational science and
engineering.
- Netlib:
- a collection of mathematical software, papers, and databases.
The major source of all numerical software, including LINPACK,
EISPACK, etc. (at UTK and
ORNL)
- AT&T
Software Tools:
- software tools appearing on this page that have been developed
by AT&T Labs researchers.
- Mathematical
and Statistical Software List
- at Pittsburgh Supercomputing Center
- Derive (1999-2003)
- no longer purveyed; see Mathware Home Page
- GAP (Groups, Algorithms, Programs) (Version 4.4.12: Dec 2008)
- GAP:
- Groups, Algorithms, Programming -
a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. See also the overview and the description of the mathematical capabilities. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely.
Coordinated by CIRCA at St. Andrews, UK.
- MACSYMA
- At Scientek Inc. --- This
venerable computer algebra system, in an obvious sense probably the
first commercial such, went out of business: but it's back at version 2.4 in Korea!
[See also further information
- MAGMA
- The Magma
System for Algebra, Number Theory and Geometry
- MAPLE resources
- Maple User Group at the Symbolic
Computation Group (U Waterloo, ON CA)
- Maple WWW Home Page
(Waterloo Maple Inc.)
- Mathcad
- Mathcad Home Page
- from Parametric Technology Corporations; used to be MathSoft
(
http://www.mathsoft.com
)
- Mathematica resources
- Mathematica WWW Home
Page at Wolfram Research
- MathSource
- Calculus &
Mathematica Home Page
- Stephan
Kaufmann's Mathematica Info
- MathSolutions,
Inc. Home Page
- MATCOM (Matlab to C++ compiler)
- MathTools Home Page
- MATLAB:
The MathWorks produces software for technical computing and
Model-Based Design for engineers, scientists, mathematicians, and
researchers. Our two core products are MATLAB®, used for performing
mathematical calculations, analyzing and visualizing data, and
writing new software programs; and Simulink®, used for modeling and
simulating complex dynamic systems, such as a vehicle's automatic
transmission system. We also produce more than 90 additional tools
for specialized tasks such as processing images and signals and
analyzing financial data. Since its founding in 1984, The MathWorks
has become the leading global provider of software for technical
computing and Model-Based Design. Headquartered in Natick,
Massachusetts, The MathWorks currently employs more than 2,000
people worldwide.
- MathWorks Home
Page
- MAXIMA:
a system for the manipulation of symbolic and numerical expressions,
including differentiation, integration, Taylor series, Laplace
transforms, ordinary differential equations, systems of linear
equations, polynomials, and sets, lists, vectors, matrices, and
tensors. Maxima yields high precision numeric results by using exact
fractions, arbitrary precision integers, and variable precision
floating point numbers. Maxima can plot functions and data in two
and three dimensions. [a descendant of Macsyma, the legendary
computer algebra system developed in the late 1960s at the
Massachusetts Institute of Technology.]
- Maxima Home Page
(Version 5.17.0: 26 Dec 2008)
- MicroMath
- MLAB:
- Civilized Software Inc.
- NMATH:
.NET Math and Statistics Libraries (was the first .NET commercial math library in March, 2003)
- Center Space Software
- PARI-GP Number Theory and Algebra program:
a widely used computer algebra system designed for fast computations
in number theory (factorizations, algebraic number theory, elliptic
curves...), but also contains a large number of other useful
functions to compute with mathematical entities such as matrices,
polynomials, power series, algebraic numbers etc., and a lot of
transcendental functions. PARI is also available as a C library to
allow for faster computation.
- PARI Home page
(Version 2.3.4: 10 July 2008)
- PARI's FTP service (Bordeaux, France)
- REDUCE:
a system for doing scalar, vector and matrix algebra by computer,
which also supports arbitrary precision numerical approximation and
interfaces to gnuplot to provide graphics. It can be used
interactively for simple calculations but also provides a full
programming language, with a syntax similar to other modern
programming languages. implemented in Standard Lisp expressed in an
intuitive imperative-style notation called RLISP. The latter is used
as a basis for REDUCE's user-level language.
- REDUCE Home
Page
(Version 3.8: 15 Apr 2004)
- REDUCE OpenSource downloads at SourcForge
Page (CSL Version: 3 Apr 2009)
- SAGE:
free open-source mathematics software
system licensed under the GPL. It combines the power of many
existing open-source packages into a common Python-based interface,
which grew out of its early version as Software for Algebra and
Geometry Experimentation.
- SAGE Home
Page (Version 3.4.1: 22 Apr 2009)
- Combinatorics
- DISCRETA [by Anton Betten, Evi Haberberger,
Reinhard Laue, Alfred Wassermann at Universität Bayreuth]
- A program to construct t-designs with prescribed automorphism groups.
- DISCRETAQ [by Michael Braun at Universität Bayreuth]
- Systematic construction of q-analogs of designs.
- Geometry Programs
- Fractint's Home Page
- Windows (95/98/NT), Macintosh, Linux, and BeOS ports of this
fractal drowing program with extensive features, freeware fractal generator
created for IBMPC's and compatible computers.
- Xfractint 20.2.04
- The
BSD X11 port of the program Fractint
- Geomview
- [an interactive 3D viewing program for Unix;written at the Geometry Center at the University of Minnesota between 1992 and 1996
used by thousands of people around the world. Through the volunteer work of the original authors
and other volunteers, Geomview continues to evolve. Runs on most Unix platforms,
including GNU/Linux]
- Kaleido
- Uniform Polyhedra - Computation and 3D Display. Runs on Unix and various other
platforms and the algorithms have been ported to Mathematica.
- Knot Theory
- CBraid [by
Jae Choon Cha at Korean Advanced Institute of Science and Technology]
- A C++ library for computations in braid groups; also used for braid cryptography.
- Number Theory
- KASH/KANT (version 3, Jun 2004)
(Institut für Mathematik, TU Berlin])
- Package for algebraic number theory. It is a tool for sophisticated computations in number
fields, global function fields, and local fields.
- LiDIA (version 2.1.3, Dec 2004) (at TU Darmstadt, Germany)
- C++ Library for Number Theory
- Magma Computational Algebra System (at V2.12)
(at University of Sydney), Australia)
- "Magma is a large, well-supported software package designed to solve
computationally hard problems in algebra, number theory, geometry and
combinatorics. It provides a mathematically rigorous environment for
computing with algebraic, number-theoretic, combinatoric and geometric objects."
- Mersenne Prime Freeware
- many variations, inlcuding links to GIMPS
- SIMATH (at Tokyo Metropolitan University)
- (A computer algebra system, especially for number theoretic purpose: Number Theory, Elliptic Curves, Compiler)
- Numerical Software
- Interactive
Environment for the Taylor Integration of ODEs
- (PC, Windows) [by Alexander Gofen]
- TeLa
Home Page (at Finnish Meteorological Institute)
- TeLa the Tensor Language: a numerical computing environment mainly targeted for
numerical simulation pre- and postprocessing work (dates from 200%)
- SAS Institute Inc.
- [Software for business intelligence and analytics: SAS (presently 9.4)
product suite with analytical, data manipulation and reporting capabilities,
scalable, highly interoperable]
- Alphabetical
List of Software Available on PSC Systems
- (at Pittsburgh Supercomputer Center)
- PDEase2D
- "For finite element analysis with the greatest of ease!" says the home page.
Finite elements
for heat transfer and diffusion, solid mechanics, fluid mechanics,
electromagnetics, chemical reaction diffusion, quantum
mechanics.
- Utilities
- Tusunga: a no-nonsense online calculator. We try to keep it simple. A calculator with no bells, no whistles - just the tool you need to get the job done.
- (Version 0.9: Feb 2009)