The following are WWW links to sites which have a significant collection
of mathematical software. Also included are links to sites which contain
information about mathematical software.
There are also links to sites containing software and information about
software used in preparation of mathematical documents.
If you would like to limit your selection of links to a particular
platform or a particular level then use the
designed form to make these selections.
- Abacus is the publisher of StatView which features fully integrated
statistics, data mangement, graphing and presentation tools and
SuperANOVA which combines powerful GLM techniques (ANOVA, ANCOVA, MANOVA,
MANCOVA, repeated measures, regression, and more), and full presentation
- Ada-Belgium maintains a
of free Ada software. Currently, this collection contains PHC - an interactive
program for solving polynomial systems using homotopy continuation.
- The Algae Programming Language
- Algae is a high-level interpreted language for numerical analysis. Algae
borrows ideas from languages like C, MATLAB, and APL, but it was developed
because we needed a free, efficient, and versatile language capable of handling large problems.
- An algebra calculator program
- At present, the program manipulates (reasonably small) finite algebraic systems, which are
given by their operation tables. It is able to generate subalgebras in direct products, generate congruences, compute factor algebras, compute congruence and subalgebra lattices, compute polynomials, decide centrality and compute the commutator, compute minimal sets and the types of tame quotients and to display (labeled) congruence lattices graphically.
- Algebra - One on One
- Algebra One on One is an educational game for those wanting a fun way to learn and practice Algebra.
This program covers 21 functions (equations) which includes maximums, minimums, absolute values,
averages, x/y, ax + b, axy + b, ax + by + c, squares, cubes, and so on.
- The Algebra
Word Problem Tutor
- The Algebra Word Problem Tutor has been developed by members of the
Anderson Research Group at Carnegie Mellon University in cooperation with the
PUMP Algebra Project. The goal of the Algebra Word Problem Tutor is to help
students to learn algebraic skills which they can use in the context of
real-life problem situations.
- AMATH - Pre-Algebra
- AMATH is a complete, self-paced, computer driven, adult level course
designed as an intervention device to help those who have completed the course
work in K-8 math, but cannot do the work.
- Amos implements the general approach to data analysis known as structural
modeling, analysis of covariance structures, or causal modeling. This approach
includes as special cases many well known conventional techniques, including
the general linear model and common factor analysis.
- AMPL is a comprehensive and powerful algebraic modeling language for linear
and nonlinear optimization problems, in discrete or continuous variables.
Developed at AT&T Bell Laboratories, AMPL lets you use common notation and
familiar concepts to formulate optimization models and examine solutions, while
the computer manages communication with an appropriate solver.
- Analyse-it for Microsoft Excel
- Analyse-it for Microsoft Excel is an add-in that extends Excel's statistical capabilities by
adding a menu with statistical functions together with an online help system and tutorials.
It includes 14-parametric & 17-non-parametric procedures and extensive tools for clinical method
- Apfloat is a C++ arbitrary precision arithmetic package. Multiplications
are done using Fast Number Theoretic Transforms with three different moduli
and the Chinese Remainder Theorem for optimal memory usage, maximum speed
and no roundoff errors. It's capable of doing calculations with millions of
decimals. The package is written in ANSI C++ for good portability but also
includes assembler optimizations for 486 and 586 processors for maximum
performance on PCs. The software is released as freeware and is free for
- Applied Mathematics
- Applied Mathematics performs research and development of advanced mathematical algorithms in the
field of large scale linear and non-linear systems. Their flagship product is GISOLV2 - General Iterative
Solver for a set of large scale linear systems. This solver successfully reduces the computation time of
large industrial problems by orders of magnitude compared to other methods, and achieves convergence
where other iterative methods fail.
- ARfit: A Matlab package for the estimation and spectral decomposition of multivariate
- ARfit is a collection of Matlab routines for estimation of parameters and
confidence regions for multivariate autoregressive (AR) processes, diagnostic
checking of fitted models, and spectral decomposition of AR models.
- Argus Numerical Environments
- The Argus Numerical Environments (ANE) are a family of general purpose
graphical Pre- and Post-Processors for the numerical modeler. They represent a
whole new approach of combining GIS and numerical modeling.
- This page from
MIT Press Artificial Life Online
contains a collection of links to sites containing software for cellular
automata, evolutionary studies, etc.
- Artlandia provides the graphic design, mathematical hobbyist and
educator's communities with easy-to-use tools for Programmable Creative Graphic
Design -- implementing their proprietary algorithms, developed in-house and honed by
a constant interaction with almost thirty textile manufacturers in the United
States and abroad. Requires the use of Mathematica.
- The AssiStat is a Windows-based software package that does
automated calculation of 80 formulas useful in educational and psychological research, practice, and
in measurement and statistics courses. It was designed to be used as a complement to typical
statistical data analysis packages rather than as a primary data analysis tool. The main advantage
of The AssiStat is that it picks up where primary data analysis packages usually fall short.
- Library of ATLAST M-files (Matlab) to accompany the book ATLAST Computer
Exercises for Linear Algebra which were written by participants in
the Atlast workshops.
- This software will enable you to discover and explore, in a modest manner,
the endless and fascinating realm of strange attractors. Whether you are in
search of a tool that will help you to understand some of these mathematical
properties in a graphics oriented manner or an aesthete looking for new ways
to create interesting graphics and pictures, this software is made for you !
- AUTO is software for continuation and bifurcation problems in ordinary differential equations.
- Autograph is a dynamic PC program operating in two modes
----- Graphs, coordinates and bivariate data
----- Single-variable statistics and probability
designed to help teachers and pupils visualise mathematics at secondary/college
level, by drawing
dynamically linked 'objects'. Some of the features include solutions of differential
equations, matrices, linear transformations, best fit curves, numerical integration,
animations, and vectors.
- Automatic Differentiation Tools
document was compiled for the minisymposium on automatic differentiation
tools presented at the 1995 International Conference on Industrial and Applied
- AVTS -
Analysis and Visualization of Time Sequences
- AVTS ("Analysis and Visualization of Time Sequences" implemented by Anton
Kirchsteiger) is an interactive program for investigation and manipulation of
one and higher-dimensional time series.
- AZ-MATH - University of Arizona
- A large collection of MSDOS and Macintosh software packages
written to be used in the teaching of college mathematics. The latter page
contains information on the downloading of these packages and provides means
for downloading the entire collection.
These programs are also available through the
(in zip format); the latter listing contains a short abstract of each
- An iterative sparse linear solver package.
- [B/D] - Bayes L. P. Language
- The home
of [B/D], an interactive programming language which allows complete a
priori and diagnostic
analyses of Bayes linear statistical problems. This page is still under
construction, but ultimately will contain information about [B/D], latest
code, manuals, update release notes, macro libraries etc.
- Berkeley Logo
- Berkeley Logo is a freeware interpreter that Brian Harvey and his students
wrote. Source code is available.
- The Blitz++ Project
- The goal of the Blitz++ project is to develop techniques which will enable
C++ to rival -- perhaps even exceed -- the speed of Fortran for numerical computing,
while preserving an object-oriented interface. Preliminary results show speed
increases of 2-10 times over conventional C++ numerical libraries, and performance
about on par with carefully hand-crafted C code.
- BMDP Statistical Software, Inc.
- BMDP Statistical Software, Inc. was purchased by SPSS.
- BPKIT, Block Preconditioning Toolkit
- BPKIT is a toolkit of block preconditioners for the iterative solution of
linear systems. The most effective general purpose and black-box type of
preconditioners are available, including block SSOR, block tridiagonal ILU, and
the block extension of point ILU with level-of-fill.
Brad's Free Software for Learning
About Math, Physics, and Engineering
- Mission Statement: Become the leading web site for providing free educational
software for teaching students about math, physics, and engineering. Programs
are available for Basic Arithmetic, Algebra, Trigonometry, Calculus, Statistics
- Cabri-geometry is the product of research activity at the Université
Joseph Fourier de Grenoble and at CNRS, in the laboratoire de Structures
Discrètes et de Didactique. From the Mathematics Archives pages on
Cabri-geometry: Cabri-geometre is an Interactive Notebook to Teach and Learn
Geometry. With this package, you perform ruler-compass constructions
and then pose questions. You can ask whether lines are parallel or
perpendicular. You can compare measures of objects (area, length,
angular measurement). An especially nice feature is the ability to
move points used as references in constructions and the figure
changes appropriately. With this you can examine the trace of a
point to find the locus of points, say equidistant from a given
point and a given line.
- The interactive software for Geometry - Alter geometric figures on the
screen. Students can see patterns, make conjectures, and draw their own
conclusions. Discover geometric dependencies in the figures students construct.
Display the equations of basic geometric objects including lines, circles,
ellipses, and coordinates of points.
- CAIN: Computer Algebra Information Network
- CAIN is a distributed
information service dedicated to computer algebra.
It is set up to disseminate computer algebra news, knowledge, and
software among users in all scientific and technical disciplines.
The nodes include:
- Calculus Wiz
- Calculus tutorial and homework helper which requires Mathematica.
- CALIPSO for Linear
- CALIPSO for Linear Algebra is a shareware package to help students learn
linear algebra. It is operated from a worksheet similar to the one used by
MATLAB, but is much easier to use. CALIPSO performs virtually any process
encountered in a first term introductory linear algebra course or a second term
course emphasizing numerical methods. The two principle goals in its
development are to provide an environment in which a student can easily solve
problems without excessive hand calculation, and to involve the student as much
as possible in the execution of the more complex algorithms such as the QR
- CALIPSO for Linear
- CALIPSO for Linear Programming is designed for learning linear programming
and includes a module for pivoting tableaus, an LP solver that produces
solutions and post-optimality analysis, a branch and bound tree to learn this
method of solving integer problems, a branch and bound solver, and an implicit
enumeration solver. It specifically supports the textbook "Linear Programming"
written by Calvert and Voxman; however, it can be used with any book.
- CALMAT is a Computer Aided Learning system in MAThematics ( for PCs ), designed and developed
by the CALMAT group at Glasgow Caledonian University. Topics include algebra, geometry,
vectors, trigonometry, analytic geometry and calculus.
- C.a.R. Geometry Program
- C.a.R. is a program which simulates constructions with a straigthedge and compass
(Compass and Ruler). It includes a macro language.
- CASA - Computer Algebra System for Algebraic Geometry
- The program package CASA (Computer Algebra Software for constructive
Algebraic geometry) is designed for performing computations and reasoning about
geometric objects in classical algebraic geometry, in particular affine and
projective algebraic geometry over an algebraically closed field of
- Cathode 2 : Computer Algebra Tools for Handling
Ordinary Differential Equations
- CATHODE 2 will produce a set of cooperating computer algebra tools for the
manipulation and solution of ordinary differential equations and systems. New algorithms
will be developed, and implementations created. The group will also focus on three
critical application areas: real-time simulation and optimal control, electric
discharges in gases, and rate equations for fragmentation processes.
- the CD-ROM SHOP
- The CD-ROM SHOP is a vendor of CD's. They have a listing of mathematics
CD's for both the
computers. Many of the listings contain detailed information about the
- Center for Statistical and Mathematical Computing (Indiana University)
- The Center for Statistical
and mathematical Computing contains both vendor-supplied and local
information on various mathematical and statistical packages in use at
- Centre for
Innovation in Mathematics Teaching
- A collection of programs to be used in the teaching of k-12 mathematics.
- CFD Resources Online
- A collection of links to software useful in the area of computational
- cGOP is a package for rigorously solving nonconvex optimization
problems to epsilon-global optimality. The package implements the GOP
algorithm (Floudas and Visweswaran, 1993) which is a primal-dual
decomposition algorithm applicable to general constrained biconvex
problems, using a set of C subroutines to solve these problems
using decomposition and branch-and-bound techniques.
- Chaos analysis software
- This page
contains information about software written by Michael Banbrook which can
perform the following tasks: Time series embedding, Singular Value Decompositon
embedding, Lyapunov exponents (FULL spectrum with noise robustness), Poincare
sections, Local singular value decomposition analysis.
- Cinderellas Cafe
- Interactive geometry on the computer. This German program, written in JAVA, can be used to generate
dynamical geometry examples for the WWW.
- CirclePack is a suite of programs which provides a fairly user-friendly
interface for the creation, manipulation, storage, and display of circle packings on X-Window.
- Civilized Software
- Civilized Software is the
developer of MLAB, an advanced mathematical and statistical modeling
system running on PC, Mac, SUN, RS6000, DEC-Alpha, Convex, SGI, NeXT
(Motorola, Intel, and HP). MLAB is a tool for mathematical and statistical
exploration, and for solving simulation and modeling problems such as chemical
kinetics, pharmacological compartmental models, multiple site ligand binding,
neurophysiological modeling, and ultracentrifuge models, to name just a few.
- CLAWPACK - A Software Package for Conservation Laws
- Clawpack contains software for solving hyperbolic systems of conservation
laws in 1 and 2 space dimensions.
- CLICAL is a calculator type computer program for vectors, complex numbers,
quaternions, bivectors, spinors, and multivectors in Clifford algebras. CLICAL
can evaluate elementary functions with arguments in Clifford algebras, the
exterior algebra and the Cayley algebra of octonions. CLICAL is a multivector
oriented computer program for Clifford algebras Clp,q of real
non-degenerate quadratic spaces Rp,q.
- CLIFFORD - Maple Package for Clifford Algebra Computations
- CodEc - Programs for Economics and Econometrics
- CodEc is
part of NetEc, a volunteer project to improve the communication of research in
Economics via eletronic media. The contribution of CodEc is to collect and
provide computer programs of interest for economists and econometricians.
- C*ODE*E Reviews of DE Solvers
- C*ODE*E offers reviews
of DE Solvers for teachers who wish to introduce computer experiments into
ordinary differential equations courses.
- Cognitive Technologies Corporation
- Publisher of software: Pre-Algebra World-- Number Sense and The TRIG Explorer.
- Colourful Mathematics is a series of educational mathematical games dealing
with serious mathematical concepts, but geared toward students from a very
early age. The three MSDOS programs are investigations of the Four Colour
Theorem, the Chromatic Number of a Graph, and the Dominating Number of a Graph.
These programs are also available from the
- Common Lisp Analytical Statistics Package (CLASP)
- The Common Lisp
Analytical Statistics Package (CLASP) is a tool for
visualizing and statistically analyzing data and is part of the
CLIP/CLASP project at the Experimental Knowledge Systems Laboratory.
- Computational Fluid
- This site contains codes, links, sites, etc., concerning computational
- Computational Mechanics Company Inc.
- The Computational Mechanics Company,
Inc. (COMCO) was founded in
1982 to perform contract research and software
development in engineering analysis and applied mathematics.
Building on the technological advances made during its early years,
COMCO began in 1989 to develop a generic computational kernel which
could be applied to a broad range of engineering problems.
- Converge Software
- CONVERGE Educational Software for Algebra through Calculus (from JEMware) is highly graphical
educational software that illustrates mathematical process. Converge has a great number and variety of
menu choices designed to help students acquire a graphical and numerical understanding of fundamental
math concepts, definitions, and principles.
- COOOL - Center for Wave Phenomena Object-Oriented
- COOOL consists of a collection of C++ class libraries for handling
mathematical optimization problems. It is a convenient tool for
research in optimization methods as well for application in various
scientific and engineering fields.
- Copyu is an equation and data plotter.
- CPLEX Optimization, Inc.
- CPLEX Optimization, Inc. is a provider of large-scale
mathematical programming software and services. CPLEX's linear
and mixed-integer programming solvers are known for superior
performance and reliability, particularly on large or difficult problems.
Software and supporting services from CPLEX Optimization, Inc. are
available worldwide, covering computing environments ranging from
PCs to UNIX workstations to mainframes and supercomputers.
- CSC - Information on Software
- The Center for Scientific Computing (CSC) has
a page of links
to many sites which contain mathematical software and information about
- CSLI - Logic Software
- Publisher of Hyperproof, The Language of First-order Logic, Tarski's World
and Turing's World. Hyperproof is a system for learning the principles of
analytical reasoning and proof construction. The Language of First-order Logic
presents a new approach to teaching first-order logic. Tarski's World introduces
students to the language of first-order logic. Using this program students can
master the meaning of the connectives and quantifiers, and soon become fluent
in the symbolic language at the core of modern logic. Turing's World is a
self-contained introduction to Turing machines.
- Cubic Oscillator Explorer
- The CUBIC OSCILLATOR EXPLORER is a Macintosh application which allows
interactive exploration of the chaotic processes of the Cubic Oscillator,
commonly known as Duffing's System.
- The project CUBPACK aims to develop a package with cubature software. The
goal of the project is to develop software for the automatic computation of
multi-dimensional integrals over several regions. Subproblems that require
attention are e.g. the construction of integration rules (cubature formulae)
and realistic error estimators, subdivision strategies, detection of special
behavior of the integrand and methods to deal with this and the development of
alternative strategies for parallel architectures.
- Cullimore and Ring Technologies, Inc.
- C&R provides products and
services in the areas of heat transfer and fluid system design and analysis.
One of their products is SINDA/FLUINT which is a comprehensive
finite-difference, lumped parameter (circuit or network analogy) tool
for analyzing complex thermal/fluid systems.
- CUTE - The Constrained and Unconstrained Testing Environment
- The Constrained and Unconstrained Testing Environment (CUTE) is a
suite of Fortran subroutines, scripts and test problems for linear and
- DAEPACK is a software library for general numerical calculations. DAEPACK
is divided into two major libraries: symbolic analysis and transformation and
numerical calculation. The symbolic analysis and transformation library consists
of components for analyzing general Fortran-90 models and automatically generating
the information required when using modern numerical algorithms.
- DANTE e. V.
- The principal aim of the association is to encourage advice and
cooperation among German language TeX users.
- Dash Optimization
- Dash Optimization write, sell, and consult with high performance modelling
and optimisation software. Dash's main product, XPRESS-MP, is widely used in
planning and scheduling in manufacturing, chemicals, petrochemicals, airlines
and other industries where optimal allocation of resources yields large extra
profits or significantly reduced costs.
- Data Desk
- Data Desk is an interactive data analysis and statistics package that is
designed to help you to better understand your data. The program is based on
the philosophy of Exploratory Data Analysis, emphasizing visual, interactive
tools for finding patterns, trends, subgroups and outliers. The program
includes a comprehensive suite of statistics procedures, including summary
statistics, hypothesis tests, correlation, nonparametric tests, contingency
tables, cluster analysis, principal components, simple, multiple, nonlinear
and logistic regression and a complete General Linear Model.
- DDLab -
Discrete Dynamics Lab
- DDLab is an interactive graphics program for research into the dynamics
of finite binary networks ranging from Cellular Automata to Random Boolean
Networks. The program generates attractor basins, as well as space-time
patterns in one or two dimensions.
- Decision Tree for
- Contains links to primarily source code for programs to solve optimization
A Mathematical Assistant
- A computer algebra system for Windows.
- Diagnosys is the product of TLTP
project number 17 based at the University of Newcastle upon Tyne with the
collaboration of the other four North-East universities. The aim of the project
was to produce a computer based diagnostic testing system for mathematics and
other technical subjects.
- DSP Development markets DADiSP, a popular graphical data analysis software
program for scientists and engineers. Students are currently able to download a free Student Edition of the software for unlimited educational use.
is a program designed for numerically solving ordinary, functional and partial
differential equations, difference equations and do many more things. It can be
used for solving problems arising in mathematics, physics, chemistry, biology.
The program is most useful for teaching, doing research and creating simulation.
- The goal of the Diffpack project is to develop a fully
object-oriented framework for solution of partial differential equations.
- DPGraph: Dynamic Photorealistic Graphing
- Create beautiful, interactive, dynamic, photorealistic 2D, 3D, 4D, 5D, 6D,
7D and 8D graphs. Optimized for the internet. Used for pre-algebra, geometry,
trigonometry and general physics, through multivariable calculus, field theory,
quantum mechanics and gravitation. Use time and color as extra dimensions (to
create motion or encode momentum, for example). Use the scrollbar to vary parameters
in realtime, to slice through graphs, or to vary surface transparency. DPGraph
graphs functions, equations, conic sections, planes, spheres, toruses, parametric
curves and surfaces, implicit equalities and inequalities, volume intersections,
volumes of integration, surfaces of revolution, equipotential surfaces, vector
fields, and much more, in rectangular, polar, cylindrical, or spherical coordinates.
- There is a critical need for computational environments that provide
effective tools for exploring dynamical systems with minimal effort on the part
of the user. Research that relies upon the investigation of dynamical systems
would be greatly enhanced by a standard, uniform environment for the
exploration of these systems with computers.
The program described here, called
DsTool (pronounced dee-ess-TOOL), describes an implementation of one such
environment for the Sun UNIX workstation. It is an efficient research tool
that integrates a friendly graphical user interface, data management
capabilities, a rich set of numerical algorithms together with the
flexibility to add more algorithms and communicate data with other programs.
DsTool has been implemented for use with the X Window system from MIT
and is based upon the program kaos, written by S. Kim and J. Guckenheimer.
- E-GEMS :
Electronic Games for Education in Math and Science
- The E-GEMS project is a collaborative effort by scientists, educators,
and professional video game and educational software developers who
have come together to do research on and develop teaching materials
that integrate video games and computer-based explorations with
existing classroom practices. The aim of this research is to increase
the proportion of children in Grades 4-8 who enjoy learning,
mastering, and using underlying concepts of math and science.
- EASY-FIT: Parameter Estimation in Dynamical Systems
- EASY-FIT is an interactive software system to identify
parameters in explicit model functions, dynamical systems of
equations, Laplace transforms, ordinary differential equations,
differential algebraic equations and one-dimensional partial
differential equations. Proceeding from given experimental data, i.e.
observation times and measurements, the minimum least squares
distances of measured data from a fitting criterion are computed, that
may depend on the solution of the dynamical system.
EASY-FIT runs under Win 3.x+95, and the corresponding numerical
routines are available in form of Fortran source codes.
- EcStatic statistical software
- This statistical package will do Analysis of variance, Breakdown, Convert scores, Correlation,
Crosstab/chi-square, Freq. distributions / histograms, Nonparametric statistics, Regression,
Scatterplot, Summary statistics, Transformations, T-test. A demo is available for download.
- Editor for Strange Attractors
- ESA (Editor for Strange Attractors) is an interactive program to display
the long-term behavior of nonlinear, dynamical systems. ESA projects these
systems into 2D or 3D space. Camera position and viewing parameters can be
specified interactively. Bifurcation
diagrams and Poincare sections are included in the functionality of ESA.
- Edu2000's Visual
- The Edu2000 Visual Series unique blend of elements creates an exciting learning
environment allowing students the opportunity to explore and appreciate mathematics.
This full curriculum content demonstrated using real life examples enhanced
with leading edge technology serves as the foundation for these very powerful
learning tools. Utilizing the popular HTML format, extensive QuickTime and 3-D
animation as well as experimental Java applets help the student discover and
understand the fundamental principals of mathematics. Products include Visual
Plane Geometry and Visual Solid Geometry.
- Educational Software Institute
- Educational Software Institute's resource guide of mathematics software
- EduMaths is a concept and a professional mathematical computer courseware
tuition system which covers the whole mathematical educational process, from
preschool to postschool. Modules are designed with varying degrees of
difficulty. Students are allowed to advance only if they have mastered a
particular module of a subject. The package is concentrated on the South African syllabus from Grade 1 to Grade 12.
- EG3 - an IBM/PC program for Graph Theory
- EG3 is intended for use in teaching undergraduate graph theory courses.
- Elements Research
- Elements Research is a software development firm. Its products include
- Elements Engineering-Scientific Workspace. A problem-formulating and solving tool.
- EleGeodesic. Geodesic Computation. Finds minimum-length straightest-possible path between points on a curved multidimensional manifold (surface). Computes minimum transition costs in a complicated business model.
- EleNTorus. N-Sphere, N-Ellipsoid, and N-Torus Computation. Provides generic multidimensional closed (boundaryless) manifolds. Applicable to nonlinear business models.
- EleSalient. Multidimensional, Recursive, Deforming Parameteric Systems. Models complicated recursive systems such as corporate policy-based decision making.
- EleGrid. Grid Generator with Recursive Refinement.
- EleRender. Surface Renderer with Geodesics and Scalar Field Shading.
- ElePlot. Plotting: XY, XYZ, Polar, Fct, Log, LogLog, Pie, Bar, Ribbon, Area, etc.
- Elib Services, ZIB
Elib Services is a WWW service operated by ZIB,
the Konrad-Zuse-Zentrum für Informationstechnik Berlin, a non-university
research institute of the State of Berlin, which operates in the field of
information technology. Its research and development concentrates on
application-oriented algorithmic mathematics, in close interdisciplinary
cooperation with universities and scientific institutes in Berlin.
- EUKLID is a software about dynamic geometry. You can create geometrical
constructions on the screen just the way you do it on a paper. But afterwards,
you can take i.e. a basic point of your drawing and drag it to another place
- and the geometrical relations between all objects is preserved.
- EULER has the
following features: Interactive evaluation of numerical expressions with real
or complex values, vectors and matrices, including use of variables. Builtin
functions that can take vectors as input and are then evaluated for each
element of the vector or matrix. Matrix functions. Interval arithmetic for
result verification. Exact scalar product. Statistical functions and random
numbers. Optimization. 2D- and 3D-plots. A builtin programming language with
parameters and local variables. An online help. A tracing feature for the
programming language. Possibility to read and write raw numerical data or even
binary data from and to files.
- Expokit is a set of user-friendly routines (in FORTRAN 77 and MATLAB)
aimed at computing matrix exponentials. More precisely, it computes
either a small matrix exponential in full, the action of a large
sparse matrix exponential on an operand vector, or the solution of a
system of linear ODEs with constant inhomogeneity.
- FADBAD is a C++ program package for automatic differentiation. FADBAD
combines the two basic ways of applying the chain rule, namely forward- and
backward automatic differentiation. Both the forward- and the backward
differentiation methods use operator overloading to redefine the arithmetic
operations, so that the program is capable of calculating first order
derivatives. The only thing a user has to provide is the C++ program that
performs the evaluation of the function.
- FAQ - Numerical Analysis & Associated Fields Resource Guide
- The author's intent for this FAQ is to provide reviews of software, texts,
and other resources in Numerical Analysis and associated fields.
- Fastflo is a computer environment for solving partial differential
equations. Fastflo uses the Finite Element Method (FEM) and works in two and
three dimensions. Its main applications have been in CFD, but its language.
Fasttalk, is generic, and any kinds of pde's can be expressed and solved.
- The progam package FEAT is a general purpose subroutine system for the
numerical solution of partial differential equations by the finite element
method. The package part FEAT2D is designed to handle problems in two space
dimensions, while the part FEAT3D handles the 3D case.
- The FEATFLOW package contains the complete sources for the
fully coupled (CC2D/CC3D) and projection-like (PP2D/PP3D) FEM-solvers for the
stationary and nonstationary incompressible Navier-Stokes equations.
is a free system for finite element analysis. The current version of FElt knows
how to solve linear static and dynamic structural and thermal analysis problems;
it can also do modal and spectral analysis for dynamic problems.
- FEMLAB is an
interactive program for the numerical solution of ordinary and partial
differential equations based on the Finite Element Method in adaptive form with
automatic error control. Femlab is a part of an educational program based on
the Leibniz vision of integration of Calculus, Computation and Application.
- Fermat is a computer algebra system for Macs (68K or PPC) and Windows that does arithmetic of
arbitrarily long integers and fractions, symbolic calculations, graphics, and other numerical
calculations. It is extremely fast and extremely economical of space. The main version
is oriented toward polynomial and matrix algebra over the
rationals Q and finite fields. There is also a "float" version for graphics.
- C FFT library. Includes multi-dimensional, real-complex, and parallel
FFTs. Also has benchmarks of FFT software.
- Finite element mesh generation
- This document contains links to lists of both public domain and commercial
software for mesh generation.
- Finite Element Resources
document contains references to FE software and other relevant information
which can be obtained "electronically".
- FinLibTM is a library of routines that will assist you in performing financial computations from all Basics including Power Basic, Quick Basic and Visual Basic.
- First Bayes
- First Bayes is a teaching package for elementary Bayesian Statistics.
- FMS - Fast Matrix Solver
- FMStm (Fast Matrix Solver) is the industry standard for performing matrix
algebra operations on large, dense matrices and groups of vectors. Packaged as
a FORTRAN or C callable library, FMS may be incorporated into new or existing
scientific and engineering application programs to improve performance
and provide large problem solving capability.
- Formula 1 - Poliplus Software
- Equation Software in Java for the Internet. Get a complete CAS (Computer Algebra System) the size of
an image file (~122k) yet capable of solving several Math problems.
- The Forth Scientific Library
- Collection of many Forth programs for mathematics.
- The Fortran
- The Fortran Market is the place to ``shop'' for all products and services
related to Fortran. In addition to the usual things to buy, you will find many
useful items that are free. Our goal is to provide access to all information,
products, and services related to the Fortran programming language.
- Fortran Library
- The Fortran Library is a comprehensive guide
to online Fortran resources, including compiler vendors and resellers,
benchmarks, programming tools, books and articles on Fortran and numerical
methods, and commerical and public domain Fortran software.
The Fortran Market also provides
many links to Fortran resources and is a reseller for several Fortran 90
and 95 compilers, benchmarking and test suites, and books on Fortran.
- FracGen is a freeware program for Windows 3.1 (runs on all other windows
ersion too) to create fractal images. Some of the features are Two dimensional
Iterated Function Systems up to 25 transformations, Lsystems for up to five
nested generators, Complex polynomials up to seventh order, etc.
Compression Programs Repository
is a freeware fractal generator created for IBMPC's and compatible computers.
It is the most versatile and extensive fractal program available for any price.
This page will provide you with any information you would want to know about
fractint and the fractals which can be generated with this program. An online
manual for fractint is available and examples of many images generated by
fractint are provided. Fractint is also available on the
- France and Associates - Software Library
- Publisher of software for K-6. Titles include: Fastball
Fractions and Instant
Math Series. Demos are available for download.
- Portable implementations (in both C and Fortran) of the Feasible Sequential
Quadratic Programming (FSQP) algorithm, a superlinearly convergent algorithm
for directly tackling optimization problems with: multiple competing
linear/nonlinear objective functions (minimax), linear/nonlinear inequality
constraints and linear/nonlinear equality constraints.
- Fudgit is a multi-purpose data manipulation program.
- FUNdamentallyMATH is a comprehensive program that advertises that it covers
everything in the K-12 mathematics curriculum except calculus.
- Future Graph, Inc.
- Future Graph, Inc. is the
publisher of f(g) Scholar, software for Math, Science and Engineering.
It combines the functionality of a graphing calculator with that of a complete
- Gambit is a library of programs, written in C++, for performing various
operations on n-person games, in either extensive or normal form. These
programs can either be used by a C++ programmer as a basis for developing
specialized code, or they can be accessed through more user friendly
interfaces. There are two main programs for accessing the functionality of the
Gambit library, the Graphics User Interface (GUI) and the Gambit Command
- GAMS Development Corp.
- GAMS (General Algebraic Modeling System)
is a high-level modeling system for mathematical programming problems. It
consists of a language compiler and one or more solvers.
GAMS supports the following problem areas: Linear Programming (LP), Non-linear
Programming (NLP), Mixed-Integer Programming (MIP), Mixed-Integer Nonlinear
Programming(MINLP) and Mixed Complementarity Problems.
- GANG -
Center for Geometry, Analysis, Numerics and Graphics
- This WWW page gives information on software used and developed at GANG
for constructing, viewing and experimenting with surfaces.
This includes DPWLab, Hyperman, Conformal Viewer, Geomwidget, and Symmetry Detection.
Ganith Algebraic Geometry Toolkit
- GANITH is an algebraic geometry tookit, used for the computation and
visualization of algebraic equations. It also provides the computational
mathematics infrastructure for the Shastra toolkits.
- GAUSSX: Desktop Econometric Analysis for GAUSS
combines a full featured set of professional econometric routines, written in
GAUSS, with a menu driven interface in one software package. The GAUSSX desktop,
which runs under both DOS and Windows, is an intuitive interface that provides
an excellent platform for both research and teaching, and can be used for
running both GAUSS and GAUSSX.
- GeoMAMOS, an abbreviation for GEometric Object MAnipulation/MOnitoring
System, is an X-windows based integrated environment to support geometric
programming. The system is designed for manipulation and monitoring of
geometric objects based on prespecified instructions during or after the
execution of geometric algorithms.
- Geomview is an interactive 3D viewing program for Unix. It lets you view and
manipulate 3D objects: you use the mouse to rotate, translate, zoom in and out,
etc. It can be used as a standalone viewer for static objects or as a display
engine for other programs which produce dynamically changing geometry. It can
display objects described in a variety of file formats. It comes with a wide
selection of example objects, and you can create your own objects too.
- GeometryID is a new method of system identification (ID) based on geometry.
Because of this, GeometryID can handle data that are either linearly on
non-linearly related. Geometry ID is a series of Matlab® scripts that
perform system identfication for single-input single-output systems only using
the False Nearest Neighbor method and present the results in a form
(both graphical and textual).
- Gforge, a fractal terrain/ surface generator, is accessible from this
- Global (and Local) Optimization
- This page
contains links to Public Domain Global Optimization Software, Test problems,
Global Optimization Techniques, etc.
- Gnans is a program (and language) for the numerical study of
deterministic and stochastic dynamical systems. The dynamical systems
may evolve in continuous or discrete time.
- Gnubc (version 1.03) is a language that supports arbitrary precision
integer arithmetic calculations with interactive execution of statements.
- Gnuplot is a command-line driven interactive function plotting utility for
UNIX, MSDOS, and VMS platforms. The software is copyrighted but freely distributed.
It was originally intended as graphical program which would allow scientists
and students to visualize mathematical functions and data. In addition to containing
the source codes and binaries for Gnuplot, this site contains the Gnuplot FAQ,
a demo, and a tutorial on using Gnuplot with LaTeX documents.
- GRAFEQ is a program for producing
graphs of implicit relations which is available for the platforms: Macintosh,
Power Macintosh and Windows.
- GRAPE is a package for mathematical visualization. It has been particularly
effective in the fields of differential geometry and continuum mechanics. But
it will probably help to understand any other problem involving the numerics of
partial differential equations or the need of advanced three-dimensional
- Graphing Calculators
- Programs for graphing calculators and links to other sites with such
programs are contained on the Mathematics Archives
Graphing Calculators WWW page.
- Graphlet: The Graph
Layout and Editor Toolkit
- Graphlet is a graph editor, a toolkit for implementing graph layout and
graph theory algorithms, and a user interface toolkit for the visualization of
complex structures .
- GraphPad Software is the publisher of programs for statistics, curve
fitting and scientific graphing. In addition, there is a demo version of
Prism, a Windows 3.1 or Windows95 program for biostatistics and
curve-fitting. Free GraphPad Guides for Nonlinear Regression and
Statistical Comparisons are also available.
- GraphWindows is a DOS-based program for graphing functions of the form y=f(x),
polar functions of the form y = f(t), and
parametric equations of the form (x, y) = (f(t), g(t)) in an xy-coordinate system.
The equation editor is intuitive. The program
supports zooming and scrolling and the composition of user defined programs
- GROUPE FRACTALES SOFTWARE
- Groups & Graphs
- Groups & Graphs is a
software tool for graphs, digraphs, and their automorphism groups. Currently
it runs on Macintosh computers, but can also be run in an X-Window using the
Macintosh Application Environment under the Solaris operating system.
New features include batch automorphism processing, construction
of vertex-deleted and edge-deleted decks, an improved planar layout
algorithm, construction of antipodal graphs and distance-k graphs,
and improved copying and pasting of graphs and subgraphs.
- GRTensor is a computer algebra package for doing calculations of interest
primarily to relativists. GRTensor runs on any platform which supports MapleV Releases 2 and 3.
- Gus and Gertie's Graphin' Gadget
- Gus and Gertie's Graphin' Gadget (G&G for short) is a program for the PC that combines the functions of a graphing calculator with a simple, flexible interface.
- HENSA is the Higher Education National Software Archive, a JISC funded
project which is based at the University of Kent at Canterbury, Unix Hensa and
the University of Lancaster, Micros Hensa. The
The Unix Hensa Archive at the
University of Kent at Canterbury is accessible to World Wide Web browsers.
- Hilbert Class Library
- The Hilbert Class Library (HCL) is a collection of C++ classes representing basic mathematical
objects such as vectors, linear and nonlinear operators, and functions. HCL also provides
algorithms for optimization and linear algebra implemented in terms of these basic classes. The
object oriented design of HCL permits algorithms to be coded at a natural level of abstraction,
without reference to internal details of data structures and simulators. Because coordinate
representations, data storage formats, and other domain-specific idiosyncrasies are not entangled in
these implementations, the resulting code is reusable across applications of widely varying size and
structure. The design of HCL also results in several very important capabilities, such as the ability
to treat very large out-of-core data sets as vector objects, and to manipulate linear operators not
defined explicitly by matrices, which distinguish HCL from other object oriented numerics
- HiPiLib - High Performance Libraries
- Publisher of
- Arithmetic Libraries (PIOLOGIE)
- Number Theory Library (Primality, Factoring)
- Cryptography Library
- Lineare Algebra Library (Matrix Algebra)
- Optimization Library
- Benchmark Software
- HiQ is a technical computing environment where you build interactive
notebooks for ActiveMath and data visualization applications. HiQ integrates
math user interface controls, numerical analysis, matrix computation, and
graphics into one environment where problems and solutions are expressed in a
scripting language built for mathematics.
- Holo --- a mapping program in MATLAB
- The program holo is a very easy to use, interactive program which allows
the use to visualize the affect of compex maps, especially, but not exclusively, those which are holomorphic.
- Howe-Two Software - Software Solutions for Mathematical Instruction
- Written by a high school teacher and used extensively in a high school lab, the titles in this
software collection include: Pre-Algebra I & II, Algebra I, II, III, & IV, Geometry, Advanced Math,
Extras: The Neat Stuff and the Quiz Collection. A demo of the programs can be downloaded.
- Hungry Frog Game Series
- In this series there are three mathematics games. Math I teaches basic
counting skills to children ages 3 and up (enumeration of objects). Math II
teaches the sequence of numbers on the integer and whole number number lines.
In Math III you can practice addition and subtraction using positive or
negative numbers, multiplication, division and even absolute value equations.
- HYCAD - Software für
- HYP and HYPQ
- HYP is a package, written in Mathematica, for the manipulation and
identification of binomial and hypergeometric series and identities. HYPQ is a
package, written in Mathematica, for the manipulation and identification of
q-binomial and basic hypergeometric series and identities.
- Hypermedia laboratory
develops hypermedia software for mathematics education. Other research issues
are hypermedia on fast networks (ATM) and distance education using video and
- IDL from Research Systems Inc.
- IDL, a product of Research Systems Inc., is a scientific computing
environment that combines mathematics,
advanced data visualization, scientific graphics, and a graphical user
interface toolkit to analyze and visualize scientific data.
This site contains information about IDL, a demo, links to IDL-related
- The Image Warper
- The Image Warper is a program that supports exploratory learning and
enjoyable activities involving geometric transformations and image distortion.
- IMPS - Interactive Mathematical Proof System
- IMPS is an Interactive Mathematical Proof System intended to
provide organizational and computational support for the traditional
techniques of mathematical reasoning.
- IMPS Software
- The IMPS software consists of ANALYZE, MODLER, and RANDMOD developed by
Harvey J. Greenberg. ANALYZE is designed to provide computer assistance for
analyzing linear programs and their solutions. It is presumed a linear program
has already been formulated, and an instance has been generated with some
language. MODLER, which stands for Modeling by Object-Driven Linear Elemental
Relations, is a language for representing linear programming models, completely
separate from instances defined by data realizations. It also includes
representations of binary variables and logical constraints, which arise
naturally in large-scale planning and operational decision support. RANDMOD is
designed to enable random variations in a resident LP, whose matrix file was
previously generated, such as by MODLER or GAMS, or was read a library, such as
NETLIB). The purpose in doing so is to test either the performance of an
algorithm or a response to the model's sensitivity to variations.
- Index of resources for numerical computation in C or C++
- This document, maintained by Ajay Shah, is also available from
- InfoMath is a publisher of educational mathematics programs which include:
MathTutor5, Math Tools and Finderz-Keeperz.
- Institute of
Mathematical Statistics - Software Page
- Collection of software including StatUnit, a Turbo Pascal unit for
statistical computing with which you can perform most of the tasks that are
usually performed by standard statistical packages, ISU - Interactive StatUnit,
an interactive statistical package, based on StatUnit and its satelite units
and StatPlot, a stand-alone graphics utility for statistical data analysis.
- Intelligent Tutor Math Educational Software
- INTELLIGENT TUTOR MATH EDUCATIONAL SOFTWARE, programs for Grades 7-12 math, has three components -
the CONCEPTS AND SKILLS SERIES, the PRACTICE AND REVIEW SERIES, and the SPECIAL TOPICS SERIES.
- INTERACTIVE MATHEMATICS is a new series of college-level, interactive
multimedia courses being developed by
Academic Systems in collaboration with
faculty from colleges and universities around the country. Interactive
Mathematics is also the first series of courses that take advantage of an
advanced computer-mediated instructional approach, called Mediated Learning,
which provides a faculty-guided, learner-centered environment for improving
student academic achievement. Each course in the Interactive Mathematics series
provides comprehensive mathematics instruction using an engaging
and challenging interactive multimedia environment.
- International Education Software
- This site is for all students, teachers, and reseachers interested in
mathematics. IES inc. was established by people involved in mathematics
education. We deal with research, development, import, and sales of software
for mathematics education.
- Interval Computations
- In addition to providing information about Interval Arithmetic, there is
a collection of links to sites providing software for computations.
- ISETL stands for Interactive SET Language. ISETL is an interpreted mathematical programming
language closely resembling the language of sets and functions used by Mathematicians. It enables
the user to define sets, then define functions and binary operations on those sets. ISETL also has
universal and existential quantifiers. You may define sets and operations, then test conjectures
about them by using quantifiers.
- JACAL is an interactive symbolic mathematics program. JACAL can manipulate
and simplify equations, scalars, vectors, and matrices of single and multiple
valued algebraic expressions containing numbers, variables, radicals, and
algebraic differential, and holonomic functions.
- JAMA : A Java Matrix Package
- JAMA is a basic linear algebra package for Java. It provides user-level classes for
constructing and manipulating real, dense matrices. It is meant to provide sufficient
functionality for routine problems, packaged in a way that is natural and
understandable to non-experts.
- Jampack (JAva Matrix PACKage) is a collection of cooperating classes designed to perform matrix
computations in Java applications.
- Jandel Scientific Software
- Jandel Scientific Software is the publisher of presentation and data
analysis software including SigmaPlot, the statistical package SigmaStat,
curve fitting software TableCurve 2D, etc.
- JavaMath is free software to enable mathematical programs in Java to use the
computational capabilities of existing compute engines. While JavaMath can be
used for stand-alone applications, the API is oriented toward the easy construction
of Internet based client-server systems and Web pages.
- The JavaNumerics page provides a focal point for information on numerical
computing in Java.
- JavaSketchpad is a new web technology which permits authors,
teachers, artists, curriculum developers, researchers, and all other
geometry fans to publish dynamic geometry illustrations directly in their
web pages. More technically JavaSketchpad
is a Java applet which displays sketches developed using Geometer's
Sketchpad desktop software (available from Key Curriculum Press for
Macintosh and PC) directly on the web. Anyone with a Java-capable web
browser can then dynamically explore the sketches you've created, without
requiring access to Geometer's Sketchpad.
- JNL 1.0 - A Numerical Library for Java
- JNL is a collection of four classes: Complex, special functions class, the linear algebra classes, and the statistics class.
- Journal of
- JSS is a forum specifically for articles about statistical software.
- K-Talk Communications
- Publisher of the equation editor MathEdit.
- "Kan/sm1" is a system for doing algebraic analysis by computer based on
computations of Groebner bases.
It performs computations in the ring of polynomials, the ring of differential
operators, (the ring of difference operators and the ring of q-difference
- Program for dealing with one-dimensional (1D) discrete dynamical systems.
Some of its features are: display bifurcation diagrams and the correspondent
Lyapunov exponent for several predefined maps; display the time evolution and
the first return map.
- KANT is a software package for mathematicians interested in algebraic
number theory. For those KANT is a tool for sophisticated computations
in number fields. With Kash you are able to use the powerful KANT V4 functions
within a shell and you don't need to know anything at all about programming in
C. The main features of the current release are: computations in number fields,
ideals in number fields, relative extensions of number fields, lattices.
- The KASKADE 3.1 software package solves
linear scalar elliptic and parabolic problems in 1, 2, 3 space dimensions
with adaptive finite element methods.
Furthermore, the toolbox includes extensions for handling systems of
equations and example algorithms for nonlinear methods
used in obstacle, porous media or Stefan problems.
Core of the program is a variety og multilevel/multigrid preconditioners
for the arising linear systems.
- Software packages published by True Basic; series includes Algebra,
Algebraic Proposer, Discrete Mathematics, MacFunction, Pre-Calculus, Probability
- Kernel Knowledge
- Kernel Knowledge offers
development of modern software tools for physics and engineering sciences. The
software is based on Mathematica -- the well-known system for doing mathematics
by computer. The original software developed by Kernel Knowledge extends
applications of Mathematica to a variety of problems of mathematical physics
and engineering sciences.
- Key Curriculum Press
- Key Curriculum Press is a publisher of many software packages for
mathematics education including The Geometer's Sketchpad(r) and TesselMania!(TM).
- Knot lets you create large 3-D color animations and stills of beautiful
abstract knots. You design the knot's form, colors, motion, backgrounds and
lighting - or design and render entire animations automatically. It's an
endless source of gorgeous moving backgrounds and photocollage elements for
- Kids' Domain - Math Downloads
- Contains mathematics programs, free and commercial demos, which can be downloaded. Descriptions
- The primary purpose of Knotscape is to provide convenient access to
tables of knots. At present, it will deal with knots through 15 crossings.
- Kovach Computing Services
- Kovach Computing Services is the publisher of various statistical software
packages including SIMSTAT for Windows and for DOS (which performs a wide
variety of statistical analyses), xlSTAT (a statistical add-in for Excel
spreadsheets), MVSP (a multivariate statistical package), Oriana for Windows
(which calculates the special forms of sample and inter-sample statistics
required for circular data), and Wa-Tor for Windows (which is a population
- KSEG is a Linux program for exploring Euclidean geometry. You create a construction,
such as a triangle with a circumcenter, and then, as you drag verteces of the
triangle, you can see the circumcenter moving in real time. Of course, you can
do a lot more than that-see the feature list below. KSEG was inspired by the
Geometer's Sketchpad, but there are plans to go beyond the functionality that
- kSoft, Inc. - Graphmatica
is an easy-to-use, powerful equation plotter. It supports 5 types of graphs
(including polar, parametric and inequalities), unlimited graphs on screen at
once, saving setup and lists of equations, and several ways to resize the grid.
It offers flexible grid labeling, on-line help, and demonstration files.
Graphmatica is also available from the
- KWIKSTAT 4.0
provides easy access to data analysis for scientific and business data. Data
analysis procedures include descriptive statistics, t-tests, chi-square,
analysis of variance with multiple comparisons, simple and multiple regression,
graphs, crosstabulations, non-parametric procedures, life tables, survival
analysis and more. Graphs include histograms, barcharts, scatterplots, time'
series plots and more. A shareware version of Kwikstat is available from the
- LANCELOT is a standard fortran 77 package for solving large-scale nonlinearly
constrained optimization problems. The areas covered by Release A of the package
- unconstrained optimization problems,
- constrained optimization problems,
- the solution of systems of nonlinear equations,
- nonlinear least-squares problems.
- Lascaux Graphics
- Lascaux Graphics offers
software, video tapes, etc. "For people who love mathematics." They are
the publishers of
is a package for solving large sparse systems of linear equations like those
which arise from discretization of partial differential equations.
- Laurens Lapre's Lparser Links
- Contains links to various sites featuring L-systems and contains images
generated by the author's software package which is available from this page.
- Learning in Motion
- Learning in Motion is a
publisher of innovative software for K-12 education. This WWW site provides
information about the products of Learning in Motion and a collection of
links to various educational WWW sites.
- The Learning Box
- The Learning Box publishes Elementary Mathematics software for students
K - 5. Two of the series of packages include The Manipulative Math Series
and The Math in Context Series which consists of NCTM Standards based programs
for students K - 5.
- Learning Differential
Equations with Maple
- These files amount to rather more than the usual set of laboratory
exercises such as are available in several commercial workbooks. My intent in
these lessons is to use Maple to teach differential equations techniques,
rather than to teach about using Maple. On the other hand, the persistent
student who works through these lessons will surely become an expert at using
- Leibniz is a graphical front end to Mathematica which allows you to type
mathematical text and carry out calculations using a simple, drag and drop
style of expression manipulation. Leibniz is a mathematical word processor: it
allows you to quickly and easily type text and structured mathematical
expressions. You can launch calculations from within Leibniz by selecting an
expression to evaluate and hitting enter, or by selecting a portion of an
expression and dragging it around the expression to launch a calculation.
- LF Software
- Tutorial software in Mathematics. Titles include: Fractions Made Easy,
Basic Math for Windows,
Algebra I for Windows,
Algebra II for Windows,
Geometry for Windows,
Trigonometry for Windows,
Basic Math for Dos,
Introduction to Algebra for Dos,
Algebra II for Dos
- Linear Programming FAQ
faq will provide you with information and some links to software which
can be used to solve linear programming problems.
- LMITOOL - An Interface to Solve LMI
- LMITOOL-2.0 is a user-friendly package for LMI optimization. It acts as an interface for the
Semidefinite Programming methods. An LMI optimization problem is one where matrix variables are subject
to equality and positive-definiteness constraints, and the objective is a linear function of these
- LyX - The Document Processor
- LyX is a free program that provides a more modern approach of writing documents with a computer. Compared to common word processors, LyX increases productivity, since the job of typesetting is done mostly by the computer, not the author. Technically this is done by combining the comfortable interface of a WYSIWYG word processor with the high quality output of LaTeX, one of the most popular typesetting systems available. No knowledge of LaTeX is required to use LyX.
- Macsyma, Inc.
- Home of Macsyma, advanced symbolic/numeric mathematical software, and
PDEase that helps you do finite element analysis with the greatest of ease.
- Fast & Easy Modeling and Analysis of Dynamic Systems. Madonna was developed
at the University of California, Berkeley, for teaching and research. It has
been tested for 5 years in classroom and laboratories. Originally developed
as a way to import Stella equations and run them fast, it evolved into a
general purpose simulation package.
- 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.
- Magnus System
- MAGNUS is designed to explore infinite groups and carry out experiments
- Mersenne Twister
- Mersenne Twister(MT) is a pseudorandom number generator which was designed to address the
flaws of other pseudorandom number generator, for speed and efficient use of the memory.
- MAS: Modula-2
- MAS is an experimental computer algebra system combining imperative
programming facilities with algebraic specification capabilities for design
and study of algebraic algorithms. MAS views mathematics in the sense of
universal algebra and model theory and is in some parts influenced by
Matlab(R) to C++ translator and a matrix class library. The translator creates
C++ code from Matlab code which is compiled by the project manager into an
executable. The C++ library supports high level, Matlab-like syntax,
so functions can be conveniently hand-coded. Matlab algorithms may be included
in C++ projects using auto translation.
- Math Teaching
- Primarily for K-12.
- Math.Ass(ist) is for secondary level or high school students and teachers
and anybody else who has anything to do with mathematics. Math.Ass(ist). helps
in solving most of the tasks of: Algebra, Geometry, Analysis, Stochastics,
- Written by a former elementary school teacher, Mathcard is a fun and easy to use
concentration-style game. The purpose of the game is to help students learn the answers to
simple math problems.
- MathHelp is an authoring tool for making a certain form of mathematics tutorial
program that is called a problem set. There is an instructor versionto create
the problem sets and a student version to use them.
- Math League Multimedia
- Publisher of software: Middle Grades Math - Level 1 is their program
which is designed to sharpen the math skills of 6th grade students and
which contains over 5000 practice problems.
Mathematica as a Tool
- Information about the book and programs from the book Mathematica as a
Tool by Stephan Kaufmann.
- Mathematica for
- This page, maintained by Wolfram Research, Inc., provides information
on the use of Mathematica in the high school. Included are links to sites
which have courseware and publications on the use of Mathematica.
- Mathematical MacTutor
- The Mathematical MacTutor system consists of more than 100 HyperCard
stacks amounting to about 15 Mb and about 2000 cards. It runs on any of the
range of Apple Macintosh computers, but not, alas on PC's.
MacTutor covers a wide range of mathematical topics, though its contents have
been biased by the interests and enthusiasms of its authors. We have
concentrated on areas where we think that the computer, and particularly the
superb graphics capabilities of the Apple Macintosh, can give insights not
available in other ways. Thus, apart from the Calculus topics that one would
expect to find in any mathematical software, MacTutor is particularly strong
in Geometry, Algebra (and in particular, Group Theory), Graph Theory, Number
Theory and the History of Mathematics. It has some interesting stacks on
Statistics, Matrices and Complex Analysis.
- Mathematics Library
- Mathematics Library Plus is
published by Aces Research, Inc. and consists of tutorial software on
CD's; topics include Algebra, Calculus, Statistics, Geometry, and Trignometry.
Each CD-ROM title is a step-by-step and easy-to-follow interactive tutorial for
students from high school to college levels. A comprehensive self study
guide with online text references and a useful resource for pre-test practices.
Each math subject contains hundreds of problems ranging from easy to difficult
and come with interactive hints and solutions. Each listing explains the
fundamental principle(s), corollaries of the equation and its sample usage.
- Mathematics TestBuilder
- Authoring tool for the creation of tests from Basic Math to Calculus.
- Mathematics Worksheet Factory
- With Mathematics Worksheet Factory Deluxe you can create math worksheets that provide practice in
addition, subtraction, multiplication, and division with up to 6 digit numbers, decimals, and currency.
The Deluxe version also includes a Magic Squares worksheet generator.
- MathGV(tm) is a mathematical function graphing software program for Windows
95/98 NT4 and 2000. It can plot 2 dimensional,
parametric, polar, and 3 dimension functions.
- Fonts developed by Mountain Lake Software, Inc. for mathematical symbols
to be used on macintosh computers.
- MathPad is a general
purpose graphing scientific calculator. It uses text input rather than
simulating buttons on a hand held calculator. This live scratchpad interface
allows you to see and edit your entire calculation. Formulas can be entered
directly and different values can be plugged in for easy "what if" calculating.
In addition to being a handy little calculator, MathPad can also take
on larger problems. Simple plotting allows quick visualization of
results. General purpose arrays allow calculations involving vectors,
complex numbers, matrix algebra etc. 2D arrays can be displayed as
grayscale or color images. MathPad runs on a Mac Plus or higher with system 6
or system 7.
- Mathpert Assistants
- Mathpert is the publisher of Algebra Assistant, Pre-Calculus Assistant,
and Calculus Assistant. These programs contain an expert system capable of
solving ANY math problem the same way people do: step-by-step. Demos of the
software are available.
- mathResources, Inc.
- mathResources, Inc. publishes interactive math teaching and learning tools
on CD ROM. Currently they offer an interactive math dictionary with a maple
- MathSoft, Inc. isthe developer of the technical calculation application
Mathcad, as well as
developer and provider of a variety of other software tools for users of PCs,
Macintosh computers, and UNIX workstations. This site provides
product information, tools and information to help one work
more efficiently and creatively with MathSoft products, and links to
interesting sites in the rest of the technical and mathematical
Inc. is the developer and distributor of
a Mathematica-based package for performing tensor analysis by computer.
- MathType is an mathematical equation editor for Apple Macintosh and
Microsoft Windows computers which can be used in conjunction with
word processing, desktop publishing, or graphics programs.
- MathWare sells and provides information on mathematics packages including
- Mathwise is an integrated learning environment for teaching undergraduate mathematics. It
comprises mathematical and application modules, reference material, assessments and resource
tools. These are integrated by a Courseware Management System, which handles cross
referencing between the different components of the system. Mathwise modules are based on
the SEFI (European Society for Engineering Education) syllabus, comprising mathematical topics
taught in pre-university and first year university, together with a number of key topics in
second-year university Science and Engineering courses.
- The MathWizards
- The MathWizards develops data analysis and visualization software.
MathWizards provides cost effective software for the scientific, academic and
engineering markets. MathWizards is the publisher of MathViews, an interactive,
matlab look-alike, mathematical program and WaveTool, an interactive, math
enabled, waveform editor.
- Mathworks is the company that produces MATLAB, the popular scientific and
engineering software tool. MATLAB is a technical computing environment for
high-performance numeric computation and visualization. MATLAB integrates
numerical analysis, matrix computation, signal processing, and graphics in an
easy-to-use environment. This site contains information about MATLAB, user
contributed M/MEX-files, digests, etc. In addition, the Mathematics Archives
maintains a WWW
page of links related to MATLAB.
- Mathwright Library
- The Mathwright
Library is a collecion of Mathwright Books which have been produced by
the authoring system, Mathwright. This WEBsite makes available for downloading
a Mathwright Library Player which may be used as a viewer for the WorkBooks in
this Mathwright Library. However, it is capable of reading only the WorkBooks
supplied through this WEBsite. There is a commercial version of Mathwright
Library Player which has many additional features.
Among the many topics covered in this library are Area Between the Graphs,
Bernoulli Trials, Chaotic Pendulum, Curves in Art and Nature, Difference
Equations, Dynamical Systems, Eigenvector, Factoring Polynomials, Golden Ratio,
Lunar Lander, Matrix Calculator, Periodic Functions, Pool Game, Polar Graphs,
Space Filling Curve, and Work Problems.
- The Matrix Template Library
- The Matrix Template Library (MTL) is a high-performance generic component library that provides
comprehensive linear algebra functionality for a wide variety of matrix formats.
- Maximum Entropy Modeling Toolkit
- The Maximum Entropy Modeling Toolkit supports parameter estimation and
prediction for discrete time series models in the maximum entropy framework.
- MCF is an implementation in C of the network simplex
algorithm. This program package provides the primal and the dual approach, which
can be used in a stand-alone program expecting input files to be in DIMACS
format or as subroutines within your own programs.
- Software developed by the CEREMADE to implement new signal processing and
image analysis algorithms.
- Mentor Project
- The Mentor Project is a Teaching and Learning Technology Project (backed by
the Committee of Professors in Operational Research) whose aim is to produce 16
computer based modules in a variety of commonly taught Operational Research
subjects. The modules contain hypertext, still/interactive graphics, animations,
video and technique software integrated in a complete learning environment.
- METIS is a
set of programs for partitioning graphs and for producing fill reducing
orderings for sparse matrices.
- Microcal Software publishes Origin,
a technical graphics and data analysis software for Microsoft Windows. In
addition to Origin, Microcal also provide an array of software products for
real-time data acquisition, process controls and advanced data analysis.
- Homepage of Visual TeX.
- Mighty Math Series
- Milliken Publishing Company
- Publisher of educational software including the mathematical software Math
Sequences (grades K - 8) and WordMath
(grades 2 - 8).
- MING - The
MD-Energy of Knots
- The problem about computation of knot energy is to find the minimal energy
among all knots isotopic to a given knot. "ming" is the a program which will
try to find the minimal energy by pushing the knot along the direction of its
- Minitab, Inc.
- Since 1973, Minitab has been a
developer of data analysis software (not just statistics anymore) that is used
in over 20 countries and operates on all major platforms.
- Minitab Macro Library
- This Library contains Minitab Macros to perform various multivariate Analyses.
- MIX software fits mixture distributions to grouped data by the method of
maximum likelihood. Mixtures of up to 15 components can be fitted, and the data
can be grouped over as many as 80 intervals.
- The Mizar Project
- The Mizar project is a long-term effort aimed at developing software to
support a working mathematician in preparing papers. The implemented processor
of the language checks the articles for logical consistency and correctness of
references to other articles.
- ModelMaker is an ideal tool for research, consultancy and teaching, providing a start to finish
environment for numerical modeling. The software provides a click drag drop environment for
modeling with differential and partial-differential equations. With ModelMaker it is easy to simulate, optimise and report your modeling hypothesis and results. Other features of interest include: Monte
Carlo analysis, Simulated annealing, Sensitivity analysis, Minimisation, dll integration, stiff
equation solver. A full free 30-day trial will be available for download.
- MODULEF : Finite Element Library
- The MODULEF club, founded by INRIA in 1974, brings together universities and
industry, both French and foreign, in order to design and implement an
extensive library of scientific programs. These modules are designed to solve
different types of problems, in terms of partial differential equations,
using finite element methods.
- Moogie Math
- Education Software designed exclusively to prepare students for the Ohio
Ninth-Grade Math Proficiency Test.
- MPL Modeling System
- MPL Modeling System, from Maximal Software, Inc., is an advanced modeling
system that allows you to set up complicated models, involving thousands of
constraints, in a clear, concise, and efficient way and is extremely
user-friendly and powerful.
- MProbe is a software tool for analyzing nonlinear functions to discern
their shapes in a region of interest. Shape means whether the function is
linear or almost linear, convex or almost convex, concave or almost concave,
or concave and convex. Knowledge of function shape is crucial when developing
nonlinear optimization models, or when selecting the nonlinear solver for a
nonlinear optimization problem. Determining function shape is difficult for
nonlinear functions having more than two variables. MProbe is specifically
designed to operate on nonlinear functions having many variables.
- MTESTS is a LaTeX based testing and cooperative learning system for mathematics. It is a system for storing test/exam questions in item banks from which tests can be automatically set. It contains a question generator which creates variations of questions and these are permanently stored in the item banks. It sets individualised tests (no two the same) and as many as you want. This is the basis of the highly successful cooperative homework method from which MTESTS was developed. The resources of the system (questions stored in item banks) can be collectively expanded by all users of the system, and very rapidly become enormous. The program has import/export options.
- MTRw3 - Software Page
- This page
contains software written by Michael T. Rosenstein for applications in
nonlinear dynamics. Included are QuickTime animations illustrating sensitivity
to initial conditions and educational software for teaching the concepts of
chaos and nonlinear dynamics.
- MuPAD (the Multi Processing Algebra Data Tool) is a system for
symbolic and numeric computation, parallel
mathematical programming and mathematical visualization. It is intended
to be a 'general purpose' computer algebra system. This is a link to
at the University of Paderborn in Germany. One can obtain copies of
the program, further information about the program, information about
newsletters dedicated to this program, etc. from this site.
The associated anonymous ftp site is
by the Mathematics Archives.
- N-Body Methods
- Collection of links to sites which have materials on astrophysical N-body
- NAG - The Numerical Algorithms Group
- The Numerical Algorithms Group (NAG) is a Not For Profit software house
which specialize in the research and development of Scientific and Technical
software. The Numerical Algorithms Group supply numerical, statistical,
symbolic and visualisation systems plus compilers and tools.
- National Institute of Standards and Technology
- The Guide to Available Mathematical Software (GAMS) project of the National Institute of Standards and Technology
(NIST) studies techniques to provide scientists and engineers with
improved access to reusable computer software which is available to
them for use in mathematical modeling and statistical analysis. One
of the products of this work is an on-line cross-index of available
mathematical software. This system also operates as a virtual
software repository. That is, it provides centralized access to such
items as abstracts, documentation, and source code of software
modules that it catalogs; however, rather than operate a physical
repository of its own, GAMS provides transparent access to multiple
repositories operated by others.
- National HPCC Software Exchange (NSE)
- he NHSE is a distributed collection of
software, documents, data, and information of
interest to the high performance and parallel
computing community. The NHSE seeks to
actively promote software sharing and reuse
within and across HPCC agency programs on a
- NCAR's Mathematical and Statistical Libraries
- NCAR's Scientific Computing
Division maintains a large and valuable
mathematical and statistical libraries
for use on its supercomputers. The collection is maintained to provide
NCAR's computer users with modern software to assist them in their
computational efforts on SCD's supercomputers. The collection is
continuously monitored and updated as necessary to ensure availability
of the best library routines for NCAR's computer users.
- NCSS Statistical Software
- Number Cruncher Statistical System
- A comprehensive and accurate, easy to learn, statistical system developed for
Windows 3.1 users.
NETLIB contains a large collection of public-domain mathematical
software and other material of interest to the scientific computing
community, including software documentation, test data, technical papers, and
reports. Most of the software is written in Fortran, but programs in other
languages, such as C, are also available.
Some of the libraries available from NETLIB are
EISPACK, LINPACK, FFTPACK, LAPACK, algorithms from the ACM Transactions on
Mathematical Software, and algorithms from the book by Forsythe, Malcolm, and
Moler. NETLIB can be accessed on WWW servers at
Oak Ridge National Laboratory and
the University of Tennessee at Knoxville.
- NetSolve is a network enabled solver that allows users to access
computational resources, such as hardware and software, distributed across
the network. The development of NetSolve was motivated by the need for an
easy-to-use, efficient mechanism for accessing computational resources remotely.
Ease of use is obtained as a result of different interfaces, such as
Fortran, C, and Matlab; good performance is ensured by a load-balancing
policy that enables NetSolve to allocate computational resources as
efficiently as possible. NetSolve offers the ability to look for
computational resources on a network, choose the best one available, solve a
problem (with retry for fault-tolerance), and return the answer
to the user.
- Neufeld & Associates
- Publishers of The UNDERSTANDING MATH Programs, collection of
programs for interactive learning for grades 6-10. Topics include algebra,
equations, exponents, geometry and integers. Software is available in both
English and French. Demos are available. The company also provides lessons
plans related to these packages and organizes workshops.
NonEuclid : Software for Exploring Non-Euclidean Geometry
- Nonlinear Programming FAQ
faq will provide you with information and some links to software which
can be used to solve nonlinear programming problems.
- Nonlinear Control Toolbox
- To facilitate the analysis of H-infinity problems a Maple toolbox for
nonlinear control systems has been created. The NC_Toolbox contains functions
for basic system manipulation, H-infinity synthesis funcitons and functions to
evaluate general controllers.
- NTL: A Library for doing Number Theory
- NTL is a high-performance, portable C++ library providing data structures
and algorithms for manipulating signed, arbitrary length integers, and for
vectors, matrices, and polynomials over the integers and over finite fields.
- NUMERICA, published by Numeritek Ltd, is a library of source codes for solving hyperbolic partial
differential equations using a broad range of modern, high resolution shock
capturing conservative and non-conservative numerical methods.
- Collection of Matlab, C, FORTRAN and Pascal programs to accompany the
book: Numerical Methods for Mathematics, Science & Engineering, 2nd Ed
by John H. Mathews published by Prentice Hall.
- Numerical Recipes
- Numerical Recipes: The Art of Scientific Computing" is the title of a series of books published
by Cambridge University Press. "Numerical Recipes" refers to the copyrighted
computer software that is in those books. The books and software are available
in a variety of computer languages, notably C and Fortran, but also versions
in Basic, Pascal, as a MathCad add-in, and more. The C and Fortran versions
contain about 350 separate routines for scientific computing. The complete
Numerical Recipes books in both C and Fortran are now available on-line.
- O-Matrix for Windows from
Harmonic Software, Inc. is an
interactive analysis and visualization package that combines the programming
flexibility and performance of a compiled language with the ease of use and
functionality of an integrated environment. O-Matrix for Windows provides
extensive analysis and graphics capabilities, an integrated debugger, a
profiler, a full screen editor, and a matrix-oriented interpreted language with
performance that far exceeds typical interactive environments.
- Octave is a high-level language, primarily intended for numerical
computations. It provides a convenient command line interface for
solving linear and nonlinear problems numerically.
- ODE Architect
- ODE Architect combines rich multimedia application with powerful yet
easy-to-use custom mathematical tools. The software is intended to provide a
highly interactive environment for students to examine the properties of linear and nonlinear systems of differential equations, and to explore and
construct ODE modes of real-world situations, as well as self-designed models.
- ODE Tools
- A set of Maple V R.3/4 computer algebra routines for the analytical
solving of 1st. order ODEs, using Lie group symmetry methods, is
presented. The set of commands includes a 1st. order ODE-solver
and routines for, among other things: the explicit determination of the
coefficients of the infinitesimal symmetry generator; the construction
of the most general invariant 1st. order ODE under given symmetries;
the determination of the canonical coordinates of the underlying
invariant group; and the testing of the returned results.
- On-Line Software for Clustering and Multivariate Analysis
- This is a short review
of programs and packages available for public access, by anonymous ftp, Gopher
or World-Wide Web.
- Optimal Designs
- Publisher of mathematical software including FORTRAN Calculus and PROSE
which are Automatic Differentiation (AD) based software
languages that simplify computer coding to an absolute minimum; i.e., a mathematical
model, constraints, and the objective function. FORTRAN Calculus was designed to solve implicit
- Optimization Software
- This page
provides information on software to solve optimization problems. Much of the
information on these products is drawn from a book - the
Software Guide (Jorge J. Mori and Stephen J. Wright, SIAM Publications, 1993).
- OR-Objects is a library of Java classes for developing Operations Research applications. The purpose of OR-Objects is to provide a foundation of reusable software to speed the development of OR applications and make them more reliable.
- OSL - The IBM Optimization Subroutine Library
- OSL is IBM's library of high-performance optimization subroutines for
linear, mixed integer and quadratic programming, supported on multiple hardware
platforms, from PCs, to workstations, to supercomputers such as the SP2.
- Argonne National Lab's Otter
is designed to prove theorems stated in first-order logic with equality.
Currently, the main application of OTTER is research in formal logic
and mathematics. OTTER and its predecessors have been used to answer
many open questions in the areas of finite semigroups, ternary Boolean
algebras, logic calculi, combinatory logic, and group theory. OTTER
has also been used for research in the verification of hardware and
- Ox is an object oriented matrix language, with a C and C++ like syntax.
is a library of Mathematica Notebooks and utilities designed to
enhance the learning of mathematics and its applications. It aims to
cover a wide range of topics in undergraduate mathematics.
Calculus 1 at the University of Tasmania is an
article by Michael Bulmer about the way OzMATH Notebooks are used in an
otherwise standard calculus course.
- POLYMATH in an interactive numerical analysis package which is available from the
CACHE Corporation. The various POLYMATH programs allow the user to
apply effective numerical analysis techniques during interactive problem solving on
personal computers. Results are presented graphically for easy understanding and for
incorporation into papers and reports.
- Quantum Trajectories - A C++ library using quantum trajectories to solve quantum master equations
- Quantum trajectory methods can be used for a wide range of open quantum systems to solve the master equation by unraveling the density operator evolution into individual stochastic trajectories in Hilbert space. This C++ class library offers a choice of integration algorithms for three important unravelings of the master equation.
- The Quarter Mile Math Games
- Award-winning math software for students of all abilities
kindergarten through pre-algebra. These fun and exciting
programs are perfect for home, school and homeschool use.
Plus, people of all ages are now competing in international
math tournaments using special tournament versions of these
unique software programs.
- Qhull is a general dimension code for computing convex hulls, Delaunay
triangulations, Voronoi vertices, furthest-site Voronoi vertices, and halfspace
intersections. It implements the Quickhull algorithm for computing the convex
hull. Qhull handles round-off errors from floating point
arithmetic. It can approximate a convex hull.
- QMG: mesh generation and related software
- The QMG package does finite element mesh generation in two and three
dimensions. The package includes geometric modeling software, the mesh
generator itself, and a finite element solver. The software is written
primarily in C++ and matlab.
- PARI/GP is a package which is
aimed at efficient computations in number theory, but also contains
a large number of functions unrelated to number theory. It is somewhat
related to a Computer Algebra System, but is not really one since
it treats symbolic expressions as mathematical entities such as polynomials,
series, matrices, etc..., and not as expressions per se. However it is
often much faster than other CAS, and contains a huge number of specific
functions not found elsewhere, essentially for use in number theory.
In particular, and especially so in the present release, there is a very
large package for working in general algebraic number fields.
- PCx is an interior-point predictor-corrector linear programming package. The
code has been developed at the Optimization Technology Center, a joint venture
of Argonne National Laboratory and Northwestern University.
- The PDEtools package is a MapleV R.3 implementation of analytical
methods for solving and working with PDEs. The main commands of
the package are: pdsolve, a PDE-solver; dchange, for making
changes of variables; sdsolve, for solving systems of Ordinary
Differential Equations (ODEs); splitsys, for splitting up systems of
ODEs; and mapde, for mapping PDEs into more convenient PDEs.
- Peanut Software for Windows
- A collection of programs writtten by Rick Parris at Phillips Exeter Academy.
- Personal TeX, Inc.
- Personal Algebra Tutor, PAT
- PAT is the Algebra software that DOES Algebra, that solves problems that you enter step-by-step and explains the steps.
The explanations use the exact equations, coefficients, and variables of the students problem.
- PEST from Watermark Computing
is a unique nonlinear parameter estimator that can be used with
existing models. Because it exchanges data with a model through the model's
own input and output files, PEST allows the model to be used for calibration
and interpretation without any changes being made to the model itself.
- Petersen is software that can draw, edit and manipulate simple
graphs, examine properties of the graphs, and demonstrate them using computer
animation. It can display information about a graph like the number of vertices
and their degrees, the adjacency matrix, number of components, and articulation points. It can find complements of graphs, line graphs, find the chromatic number of a graph, check if a graph is bipartite, check if two graphs are isomorphic or if one graph is a subgraph of another and find the dual graph of a planar graph in many cases. Petersen also demonstrates Euler and Hamilton circuits, searches, and algorithms for finding mimimum spanning trees.
- P I N E A P L -
Parallel Industrial NumErical Applications and Portable Libraries
- The PINEAPL project will be a coordinated effort to produce a general
purpose library of parallel numerical software suitable for a wide range of
computationally intensive industrial applications and to port several
application codes which use this library to parallel computers.
- PixelGraphics Math Strategies!
Strategies! is a new educational software program that combines the action
of Nintendo with basic math concepts. Aimed at children 5 and older, it guides
children through problems in addition, subtraction, multiplication, division,
and number recognition. Students run, shoot, and blast to get through a series
of obstacles. As they solve each math problem, the correct answer displays in
words and as a math equation.
- pLab is
an object-oriented system for generating and testing random numbers designed
by Hannes Leeb. It was implemented in C++ by Thomas Auer, Hannes Leeb, and
Otmar Lendl, in Mathematica by Karl Entacher, and in Smalltalk 80 by Hannes
- PLAPACK: Parallel
Linear Algebra Package
- PLAPACK is designed to provide a user friendly infrastructure for building
parallel dense linear algebra libraries.
- A set of Maplev R.3 software routines, for plotting
2D/3D projections of Poincari surfaces-of-section of Hamiltonian
dynamical systems, is presented. On-Line help. The package consists
of a plotting-command plus a set of facility-commands for a quick
setup of the Hamilton equations of motion, initial conditions for
numerical experiments, and for the zooming of plots.
- Pre-Engineering Software Corporation
- The goal of Pre-Engineering
Software Corporation is to develop and produce teaching tools for middle
and high school that introduce students to the adventure of solving true-life
engineering problems while reinforcing their math and science skills.
- ProMath 3.0 adds 240 powerful math, statistical, physics and engineering
routines to Basic. There are general routines for all common numerical problems. Both real and complex numbers are supported.
- Provalis Research
- Inexpensive, easy, yet powerful statistical solutions for research and
teaching. Publishers of statistical packages: SIMSTAT, MVSP, STATITEM, EASY
FACTOR ANALYSIS, etc.
- PseudoPack is a software library for numerical differentiation by
- PSIDE - Parallel Software for Implicit Differential Equations - is a Fortran 77 code for solving implicit differential equations on shared memory parallel computers.
- Public Domain FFT Code, Northwestern University
- Redten Home Page
- REDTEN is a
symbolic algebra package for REDUCE which provides tensor and
tensor-like objects and manipulation functions for work in General Relativity.
- This site
at ZIB, Berlin, contains information about the symbolic math program
Reduce, together with links to other sites, demos, examples, textbooks, etc.
- Resampling Stats
- Home page for Resampling
Stats - contains information about resampling methods, resampling stats
software, a comprehensive listing of statistical software, and a listing of
statistical resources available on the internet.
- Ricci is a
Mathematica package for doing tensor computations in differential geometry.
- Rice Wavelet Toolbox for Matlab
- Rice-Wlet-Tools (RWT) is a collection of MATLAB M-files and MEX-files implementing wavelet
and filter bank design and analysis. In addition to the design tools the toolbox provides code for
wavelet applications for both 1D and 2D denoising as well as code for processing of SAR
- Risa/Asir is an experimental computer algebra system developed at FUJITSU LABORATORIES LIMITED.
Though its scope for symbolic and algebraic
computation is very limited at this moment, its performance of doing
several major algebraic operations in the polynomial ring is considerably
high to cope with practical problems.
- Rlab is an interactive,
interpreted scientific programming environment. Rlab is a very high level
language intended to provide fast prototyping and program development, as well
as easy data-visualization, and processing. It is computational tool for
scientific and engineering applications.
- RngPack is a pseudorandom number generator package for Java. Pseudorandom
means that the "random" numbers are generated by a deterministic mathematical
process, not by a fundamentally random physical process such as radioactive
decay or Johnson noise. RngPack contains base classes that add value to random
number generators, three research grade generators, as well as a wrapper for
Java's built in random number generator and a demonstration application.
- A Macintosh Program (68K/FPU/PPC versions) for rotating user specified
points and lines in 3D in real time with stereo options. Source code is
available. An MSDOS version is available at a different site.
- S-Plus is a data analysis program which uses the S object-oriented
programming language which can be used for matrix computations, statistical
modeling and analysis.
- SAFIR - Formal Algebraic Systems for Industry and Research
- Software developed by members of
SAFIR including some
- SAML, the Simple
Algebraic Math Library
- SAML is a C library for symbolic calculations, accompanied
by some application programs (samuel, factorint, induce).
The library provides an object-oriented framework for
defining and handling mathematical types, and implements
the most common data types of computer algebra: integers,
reals, fractions, complex numbers, polynomials, tensors, matrices, etc.
The application programs consist of an interactive symbolic
calculator (samuel), a programming language (induce) and
a program to factorize integers (factorint).
- SAS Institute Inc.
- Schur Group Theory Software
- Schur is a
stand alone C program for interactively calculating
properties of Lie groups and symmetric functions. Schur has been
designed to answer questions of relevance to a wide range of problems
of special interest to chemists, mathematicians and physicists.
Word and Scientific WorkPlace
- Scilab is a
high-level language for numerical computations in a user-friendly environment.
Scilab is distributed in source code format and as binary distribution for the
Sun Sparcstations, HP 9000-7XX, IBM RS 6000, DEC Alpha, DEC Mips and PC Linux.
- SDPpack: A Package for Semidefinite Programming
- SDPpack is a package for solving semidefinite programs.
The package is an implementation of a primal-dual
interior-point method based on the XZ+ZX (or AHO) search
direction with a Mehrotra Predictor-Corrector scheme.
- SDPSOL is a parser/solver for determinant maximization (MAXDET) and
semidefinite programming (SDP) problems with matrix structure.
- SDX Modeling & Simulation Software
- SDX (System Dynamics) is a premiere modeling and simulation software. It
blends the best of innovative aerospace technologies with contemporary Fortran
compiler environments for the development of code-level programs of arbitrary
complexity. Its sophisticated architecture offers a seamless workspace for the
solution of any problem or system which can be characterized by any
combination of differential, difference and algebraic equations (i.e.
continuous, discrete and hybrid systems).
- Shapescape is a 32-bit Windows program that allows various 3D shapes, polyheda, to be created
and then flattened so that a pattern can be printed to make a model of the polyhedron.
- SHAZAM is a comprehensive computer program for econometricians,
statisticians, engineers, sociometricians, psychometricians, and others who use statistical techniques.
- Sheafhom is a set of programs for homological algebra and algebraic
topology . It allows you to work with finite-dimensional vector spaces over Q
and their morphisms (i.e. linear maps). The system supports tensor products,
direct sums, and wedge products, as well as partially-ordered sets. A data
structure called a sheaf represents sheaves (like the intersection homology
sheaves) on certain topological spaces. This includes the spaces given by
regular cell complexes and simplicial complexes.
- SIMATH is a computer
algebra system, especially for number theoretic purpose.
- Singular is a computer algebra system for computing information about
singularities, for use in algebraic geometry. It is able to work with
non-homogeneous and homogeneous input and also to compute in the localization
of the polynomial ring in 0. There is an online manual.
- The SLATEC Common Mathematical Library is written in FORTRAN 77 and
contains general purpose mathematical and statistical routines.
- SLEIGN2 - Sturm-Liouville Problems
- The main purpose of
SLEIGN2 is to compute
eigenvalues, eigenfunctions, and to approximate the continuous spectrum of
regular and singular Sturm-Liouville (S-L) problems.
- SLICOT - Control and Systems
- The freeware subroutine library SLICOT provides Fortran 77 implementations of numerical algorithms for computations in
systems and control theory. Based on numerical linear algebra routines from BLAS and LAPACK libraries, SLICOT provides
methods for the design and analysis of control systems.
- SnapPea is a program for creating and studying hyperbolic 3-manifolds.
- A Soft Answer
- Soft Answer is the
publisher of MSDOS software for scientists and engineers; packages include
curve-fitting, simulation models, graphing and a calculus package. Demos
- Software for Nonlinear Dynamical Systems
site contains software for the calculations of dimension and Lyapunov
- Solutions is a symbolic mathematics software built for engineers and
scientists. Solutions will provide you with 20 classes of functions from
Algebra to Statistics. It will plot and print your work. You can
even program it if you need more power!
- The Solver for Local Nonlinear Optimization Problems
- The program SolvOpt (Solver for local optimization problems) is concerned
with minimization or maximization of nonlinear, possibly non-smooth objective
functions and with the solution of nonlinear programming problems taking into
account constraints by the so-called method of exact penalization.
- Soplex - The
Sequential Object-oriented Simplex Class Library
- The SoPlex class library comprises classes that may be categorized into
three different types: elementary classes which are provided for general
purpose use in projects way bejond the scope of numerical software or linear
programming, Linear algebra classes provide basic data types for (sparse)
linear algebra computations which are restricted to simple operations such as
addition and scaling and, for complex tasks, such as solving linear systems of
equations, algorithmic classes are provided instead.
- Speech Recognition and Mathematics
- Metroplex Voice Computing (MVC) is a leader in speech recognition programming. Their speech recognition software products are designed to operate strictly by
voice, without needing the keyboard or mouse. Packages include ArithmeticTalk, MathTalk, MathTalkPro,
MathBrailleTalk, VoiceEZcalc and VoiceEZcad.
- Sprott's Software
- This site
contains information about software written by J. C. Sprott (and others) for
the study of dynamics and generation of fractals. Some software packages are
available for download.
- SPSS is a source for statistical
products and services.
- Stanford Testing Systems, Inc.
- Stanford Testing Systems, Inc. is the publisher of software to help
prepare students for various standardized tests including SAT, ACT, GRE, LSAT,
MCAT, GMAT, TOEFL and MAT. In addition, the
practice test for SAT is
available online together with review lessons.
- StarLogo is a programmable modeling environment for exploring the behaviors
of decentralized systems, such as bird flocks, traffic jams, and ant colonies. It is designed especially for use by students.
- STATISTICA is a comprehensive, integrated statistical data analysis,
graphics, and data base management system from Statsoft, Inc. featuring a wide
selection of basic
and advanced analytic procedures for science, business, and engineering
applications. The system includes not only general-purpose statistical and
graphics procedures, but also comprehensive implementations of specialized
- Statistics Instruction Using Technology
- Statistics Instruction is interactive lecture software that presents
complex statistical concepts visually and dynamically. Interactive lectures
combine text, graphics, and animated displays to engage students' attention
and improve their comprehension.Statistics Instruction is written in Asymetrix
ToolBook and consists of twenty-seven books organized by topic. Microsoft Excel
is used to illustrate numerous problems and concepts numerically and
graphically. This software was developed for Educational Psychology 101,
Analysis and Integration of Statistical Data in Education, an introductory
statistics course for health, psychology, and education students.
- A system at Carnegie Mellon University for distributing
statistical software, datasets, and information.
- Stats on the Mac Home Page
- This collection of pages is intended to provide a clearinghouse for
information regarding using the Macintosh for statistical analysis. The
emphasis here is on statistical analysis as used in marketing and other social
science research. It may also be relevant for engineering and hard science
applications but that's not its main focus.
- STELLA II-is a powerful and flexible package for building and simulating
models of dynamic systems and processes. Using a simple set of building block
icons, you can construct a map of a process or issue of any kind. The diagram
automatically generates equations, used for simulation, allowing you to bring
your map to life. Output can be viewed as graphs, tables, diagram animation or
- Stickybear Software - Math Town
- Stickybear's Math Town provides comprehensive practice to help children
achieve mathematics expertise! They gain proficiency not just in addition,
subtraction, multiplication and division, but in life skills word problems as
well. Six unique Math Town locations serve as the background for real-life math
problems, and six levels of difficulty keep the activities challenging.
Stickybear's Math Town is bilingual, as well, so youngsters can develop skills
in English and Spanish.
- Covers algebra, geometry, trigonometry, precalculus, calculus, and statistics. Contains step-by-step
tutorials, contains a calculator that performs numeric and symbolic calculations, plots and animates
graphics, and creates documents. Also provides a connection to the WWW.
- SUDAAN -
Software for Statistical Analysis of Correlated Data
- SUDAAN is specifically designed to analyze data from complex sample
surveys. Multiple design options allow users to analyze data from most of the
commonly used stratified, multistage sample designs. Sample members may have
been selected with unequal probabilities, and either with or without
replacement. Such designs complicate the statistical analysis since the
observations are not independent and identically distributed (iid). Unlike
standard statistical packages, SUDAAN is specifically designed to handle
non-iid observations drawn from finite populations.
- SuperGraph is a powerful, easy-to-use, inexpensive program to graph
explicit and implicit mathematical functions.
- SureMath is a simple symbolic algebra program in which you can enter
problems and equations in what looks and feels like a word processor.
The capabilities of the program include a wide range of symbolic operations
which include many of the more common operations from Algebra, Trigonometry,
and Calculus. In addition, the program has graphing capabilities.
- The Surface Evolver is an interactive program for the study of surfaces
shaped by surface tension and other energies, and subject to various
- Symbolic Computation Group
- This is the home page of
the Symbolic Computation Group, located in the Department of Computer Science,
University of Waterloo, Waterloo,
Ontario, Canada, and the developers of Maple.
- Symbolic Net
- Symbolic Mathematical Computation Information Center - The area of
symbolic and algebraic computation (SAC), also known
as computer algebra (CA) in some circles, aims to automate mathematical
computations of all sorts. The resulting computer systems, experimental and
commercial, are powerful tools for scientists, engineers, and educators.
SAC research usually combines mathematics with advanced computing techniques.
- Symmetric Chaos
- SYMMETRICA is a computer algebra program developed at the University of
Bayreuth. It has routines to handle the following topics
- ordinary representation theory of the symmetric group and related groups
- ordinary representation theory of the classical groups
- modular representation theory of the symmetric group
- projective representation theory of the symmetric group
- combinatorics of tableaux
- symmetric functions and polynomials
- commutative and non commutative Schubert polynomials
- operations of finite groups. Here you may look on a part of the manual.
- ordinary representation theory of Hecke algebras of type An
- Systems Analysis Laboratory, Helsinki University of Technology
site has several of its packages available; these include
HIPRE 3+ is a decision support software product integrating the two most well
known easy to use decision analysis and problem solving methods : AHP - The
Analytic Hierarchy Process and SMART - The Simple Multiattribute Rating
INPRE and ComPAIRS are two decision support programs which are early
implementations of techniques based on the
propagation of imprecise preference statements in hierarchical weighting.
- Teachers' Choice Software
- Publisher of educational computer software for high school students. Two
of the packages are Maths Helper, used for graphing and statistics, and
Algematics, used for demonstrating and solving algebra problems.
- Techexplorer is a plug-in for Netscape and Microsoft internet browsers that enables the
use of TeX, LaTeX and MathML to display mathematical symbols.
- Tela (the TEnsor LAnguage) is a numerical computing environment mainly
targeted for numerical simulation pre- and postprocessing work.
- TELPACK is a teletraffic analysis software which allows users to solve
structured Markov chains motivated by probabilistic modeling and analysis for
design and engineering of computer and communication networks.
- Tera Analysis Co.
- The chief product of Tera Analysis is QuickField - a PC-oriented Computer
Aided Engineering (CAE) package for design of Electro-Mechanical devices. With
QuickField's multi-disciplinary analysis capabilities, you can optimize
electrical, thermal and mechanical features of your designs, all within one
package! In addition, the results of different finite element analyses can
easily be linked together which makes it ideal for simulating
multi-field coupling effects. A shareware version of QuickField is available
from the Mathematics Archives.
- TeX Resources
- TeXaide is a special version of MathType's Equation Editor that generates TeX using
MathType 4's TeX translator technology. The program is FREE.
- The Theorema© Project
- The Theorema project extends computer algebra systems by mathematical
proving in natural style. The present version is implemented in Mathematica
3.0. The system consists of a general higher-order predicate logic prover and
a collection of domain-specific provers that call each other depending on the
particular proof situations.
- 3D Filmstrip is a
mathematical visualization program for Macintosh computers.
- Tools for Dynamics
- A software package incorporating the time series analysis algorithms
developed by Applied Nonlinear Sciences, LLC in conjunction with Randle, Inc.
- The Transform Programmer
- The Transform Programmer is a package of programs which work together to
support exploratory learning and enjoyable activities involving geometric
transformations. The Transform Programmer consists of three main parts -- (a)
an image processing and display subsystem called the "METIP Programming
Environment," (b) a programming language interpreter, in this case, the
XLISP-STAT system of David Betz and Luke Tierney, and (c) a particular Lisp
program that facilitates the manipulation of mathematical expressions. The
program contains the capability to transform images in complicated ways
according to user-specified formulas, and that the image display and
transformation functions can be commanded from the programming language as well as directly by the user.
- Transitional Mathematics
- The home site for the Transitional Mathematics Project at Imperial College,
London contains Mathematica notebooks to help people revise and learn some of
the mathematics they need to enter (British) university courses in Science and
Engineering. Each module consists of a text part - the Study Guide - (postscript
file) and a companion Mathematica Notebook of computer-based activities.
- TRANSMATH - A CBL Mathematics Tutor
- Transmath is a computer-based
mathematics tutor designed to
strengthen and consolidate the basic mathematical knowledge
of students commencing numerate degree courses. Topics include: Introduction
to Differentiation, Techniques of Differentiation, Introduction to Indefinite
Integration, Techniques of Indefinite Integration, Definite Integration,
Ordinary Differential Equations, Matrices, Vectors, etc.
This site is mirrored by the Mathematics Archives.
- TREEFROG Self-assessment
- TREEFROG is a rule-based system for students to practise their maths skills on. The PC-based system TREEFROG simply checks each step of the student's argument for consistency, and recognizes if the
correct finishing point has been reached. The online prototype (which only covers polynomial algebra at present), gives rudimentary feedback using malrules if a mistake is made in a step.
- TRIUMF, Spanky Fractal Database
- THE SPANKY FRACTAL DATABASE
is a collection of fractal's and fractal related material
for free distribution on the net. Most of the software was gathered from
various ftp sites on the internet and it is generally freeware or shareware.
- TSP International
- TSP International produces and
distributes TSP, a complete econometric software package, with easy input of
commands and data, all the standard estimation methods (including nonlinear),
forecasting, and a flexible language for programming your own estimators.
- UG - A Flexible
Toolbox for the Adaptive Multigrid Solution of Partial Differential Equations
- ULM - Unified
- The ULM computer program (Legendre & Clobert, 1995; Ferrière et al.,
1996) was designed to study population dynamics models, and, more generally,
discrete dynamical systems.
- UNISTAT Statistical Package
- Unistat for Windows is a comprehensive stand-alone statistical package that
can also work as an Excel add-in. Unistat provides a one stop solution
for data handling, data analysis and presentation quality scientific graphics.
- United States Air Force Academy Mathematical Software
- This page contains
several MSDOS packages developed at the United States Air Force Academy which
can be used in the teaching of mathematics. Included are packages for
calculus, fractals and probability and statistics.
- Universal Technical Systems, Inc.
- Universal Technical Systems, Inc. (UTS)
is the developer of the TK Solver mathematical modeling and problem
solving software program. UTS also offers a family of TK-based applications
for engineering and finance. They also specialize in providing an extensive
line of software for the design and analysis of gears. In addition to these
commercially available programs, UTS offers a variety of technical
programming and consulting services.
- VECFEM - VECtorized
Finite Element Method
- VECFEM is a finite element solver for non-linear systems of boundary and
initial boundary value problems on arbitrary 1D, 2D and 3D domains.
- Vega is a system for manipulating discrete mathematical structures. The
ongoing project is located at the Department of Theoretical Computer Science at IMFM.
- Virtual abacus is an interactive, multimedia software tool to help
facilitate number sense and counting skills in children ages six and seven. The
virtual abacus is a computer simulation based on the traditional Chinese abacus.
- Virtual Image
- Publisher of CD-ROMS. Some of the titles include: Art and Mathematics, Polytopia I, II, Shape and
Space I, II, Uniform Polyhedra, Fractions, Mental Arithmetic, Trigonometry
- Visual Numerics
- Visual Numerics is the provider of
numerics, graphics, data analysis, and charting
solutions. On this WWW page you can obtain: product information, product
announcments, exhibitions calendar, technical support, and sales information
on various products including
PV-WAVE Data Analysis Products, IMSL - C and FORTRAN Numerical and Graphical
Libraries, and Stanford Graphics Charting and Presentation Graphics Products.
- Visual Recurrence Analysis
- VRA is a free software for topological analysis and qualitative
assessment of (chaotic) time series. It can detect hidden patterns
and determinism in time series using graphical device known as
the Recurrence Plot (RP). Before a RP is constructed, VRA expands
a given one-dimensional time series into a higher-dimensional
space, in which the dynamic of the underlying generator takes
place. This is done using a technique called "delayed coordinate
embedding", which recreates a phase space portrait of the dynamical
system under study from a single data series.
- Visual Solutions
- Visual Solutions is the maker of VisSim, a visual block diagram
language for nonlinear dynamic simulation. Visua Solutions has been providing
software for science and engineering for over five years.
VisSim is a Windows program that lets you interactively construct and
run block diagrams of dynamic models.
- The one-stop site for teaching and learning interactive and visual Math. Shareware programs for
- VisualDSolve -
Visualizing Differential Equations with Mathematica
- isualDSolve is a Mathematica package that provides a wide variety of tools for the visualization of
solutions to differential equations.
- WAILI -- Wavelets
with Integer Lifting
- WAILI is a wavelet transform library. It includes some basic image
processing operations based on the use of wavelets and forms the backbone of
more complex image processing operations.
- Waterloo Maple Software
- This is the home page of the
vendors and continuing developers of Maple, Theorist, MathPlus, MathEdge,
- WavBox ToolSmiths Home Page
- WavBox - A Software MATLAB Toolbox for
Wavelet Transforms and Adaptive Wavelet Packet Decompositions with New
Satisficing Search Algorithms. WavBox Software provides both a function library
and a computing environment for wavelet transforms and adaptive wavelet packet
- WaveLab .701 is a library of MATLAB routines for wavelet analysis, wavelet-
packet analysis, cosine-packet analysis and matching pursuit. WaveLab has been
used in teaching courses in adapted wavelet analysis at Stanford and at
- Wavelet Image Compression Construction Kit
- This code implements a wavelet transform-based image coder for grayscale images.
- Wavelet Software
- This page from the Wavelet Digest contains a number of pointers to sites
which have software of interest to researchers in the theory of wavelets.
- WaveMetrics is the maker of the
IGOR line of graphing and data analysis programs for the Macintosh.
- WesVarPC is a software package that computes estimates and replicate
variance estimates for data collected using complex sampling and estimation
- WGS - Working Group on Software
- The objectives of WGS are first to bring together the existing numerical
software for control and systems theory in a widely available library,
called SLICOT, and to extend this library to cover as far as possible the
area of industrial applications.
Watch (Mathematics Tutor)
- An intelligent tutor whose goal is to raise young girls their math skills during a critical period
in their development.
- William K. Bradford
Publishing Company, Inc
- This page is the Mathematics section of the On-Line K-12 Software
Catalog which an extensive listing of the publisher's offerings for all
levels from elementary schools through AP calculus.
- Wolfram Research, Inc.
- Wolfram Research, Inc. is the developer of the program Mathematica.
This site contains Mathematica-related items contributed
by Mathematica users around the world and by Wolfram Research.
- General function of Word2TeX is conversion of Microsoft Word documents to LaTeX.
- Pointers to sites which contain software of particular interest to researchers in discrete mathematics.
- Xlisp-Stat Code Archives
- XOX Corporation
- SHAPES is a revolutionary software tool
that uniquely satisfies the geometry requirements of applications that span
many industries. These include finite element analysis, mechanical
design, geophysical analysis, animation, and medical imaging.
- X(PLORE) for Windows 95 and NT
- X(PLORE) allows you to evaluate formulas including derivatives and
integrals, graph functions in two and three variables, perform all common
matrix operations, use the language of abstract linear algebra and write
subroutines in a powerful mathematical language.
- XPP is an X-windows program which can handle Differential equations, Delay
equations, Volterra integral equations, Discrete dynamical systems, Markov
processes, and Bifurcation.
- xwb : X-Workbench
- The program xwb was designed by M. Arbesmeier. xwb is an educational tool
for teaching and experimenting with multigrid algorithms. It features a
powerful graphical user interface (based on InterViews (177kB compressed
Postscript) and Unidraw) with the possibility to manipulate the algorithms
Numerical Conformal Mapping Software
- ZIPPER finds a numerical approximation of the conformal map (and its inverse) of the unit disk onto any Jordan region (bounded or unbounded).
Check out the WWW page on software
packages which are contained on the Mathematics Archives.
This page is best viewed with either Netscape 4.0 (or higher) or Microsoft's Internet
Explorer 4.0 (or higher)