Other Software Sites
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 specially designed form to make these selections.

Abacus
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 graphing features.

Ada-Belgium
Ada-Belgium maintains a repository 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
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
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 evaluation.

apfloat
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 non-commercial use.

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 autoregressive models
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.

Artificial Life Software
This page from MIT Press Artificial Life Online contains a collection of links to sites containing software for cellular automata, evolutionary studies, etc.

Artlandia
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.

AssiStat
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.

Atlast Library
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.

Attractors & Co
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
AUTO is software for continuation and bifurcation problems in ordinary differential equations.

Autograph
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
This document was compiled for the minisymposium on automatic differentiation tools presented at the 1995 International Conference on Industrial and Applied Mathematics, Hamburg.

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 Mathematics Archives (in zip format); the latter listing contains a short abstract of each program.

Aztec
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.
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 and Vectors.

Cabri-géomètre
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.

CABRI GEOMETRY II
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 Algebra
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 method.

CALIPSO for Linear Programming
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
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 characteristic 0.

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 Macintosh and IBM compatible computers. Many of the listings contain detailed information about the particular CD's.

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 Indiana University.

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 fluid dynamics.

cGOP
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
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
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
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 Mathematics Archives

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 Dynamics
This site contains codes, links, sites, etc., concerning computational fluid dynamics.

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 Optimization Library
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
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 such software.

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.

Cubpack
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 nonlinear optimization.

DAEPACK
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 Optimization Software
Contains links to primarily source code for programs to solve optimization problems.

DERIVE, A Mathematical Assistant
A computer algebra system for Windows.

Diagnosys
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.

DADiSP
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.

DifEqu
DifEqu 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.

Diffpack
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.

DsTool
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 CD-ROM Series
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 for K-12.

EduMaths
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
The 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
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
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
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
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
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.

FEAT
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.

Featflow
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.

FElt
FElt 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
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
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.

FFTW
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
This document contains references to FE software and other relevant information which can be obtained "electronically".

FinLib
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 Market (TM)
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
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.

Fractal Compression Programs Repository

Fractint
Fractint 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 Mathematics Archives.

France and Associates - Software Library
Publisher of software for K-6. Titles include: Fastball Fractions and Instant Math Series. Demos are available for download.

FSQP
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
Fudgit is a multi-purpose data manipulation program.

FUNdamentallyMATH
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 spreadsheet.

Gambit
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 Language (GCL).

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.

The 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
GAUSSX 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
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
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
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
Gforge, a fractal terrain/ surface generator, is accessible from this home page.

Global (and Local) Optimization
This page contains links to Public Domain Global Optimization Software, Test problems, Global Optimization Techniques, etc.

Gnans
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
Gnubc (version 1.03) is a language that supports arbitrary precision integer arithmetic calculations with interactive execution of statements.

Gnuplot
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
GRAFEQ is a program for producing graphs of implicit relations which is available for the platforms: Macintosh, Power Macintosh and Windows.

GRAPE
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 computer graphics.

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
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
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
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
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 libraries.

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
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 Hyperbolische Geometrie

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
Hypermedia laboratory develops hypermedia software for mathematics education. Other research issues are hypermedia on fast networks (ATM) and distance education using video and audioconferencing software.

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 sites, etc.

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 ftp.math.psu.edu.

InfoMath
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
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.

ISETLW
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
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
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
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.

JavaNumerics
The JavaNumerics page provides a focal point for information on numerical computing in Java.

JavaSketchpad
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 Statistical Software
JSS is a forum specifically for articles about statistical software.

K-Talk Communications
Publisher of the equation editor MathEdit.

KAN/SML
"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 operators).

KAOS1D
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.

KASH
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.

KASKADE
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.

Kemeny-Kurtz Math Series
Software packages published by True Basic; series includes Algebra, Algebraic Proposer, Discrete Mathematics, MacFunction, Pre-Calculus, Probability Theory

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
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 your work.

Kids' Domain - Math Downloads
Contains mathematics programs, free and commercial demos, which can be downloaded. Descriptions provided.

Knotscape
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 ecology simulation).

KSEG
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 it provides.

kSoft, Inc. - Graphmatica
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 Mathematics Archives.

KWIKSTAT
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 Mathematics Archives.

LANCELOT
LANCELOT is a standard fortran 77 package for solving large-scale nonlinearly constrained optimization problems. The areas covered by Release A of the package are:
• 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 f(z), Fields&Operators, Models, and 4-Dimensional Hypercube.

LASPack
LASPack 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 Maple.

Leibniz
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
This 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 Problems
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 variables.

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.

Madonna
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
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 with them.

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 Algebra System
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 category theory.

MATCOM
MATCOM 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 Assistant
Primarily for K-12.

Math.Ass(ist)
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, Linear Algebra

Mathcard
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
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 K-12
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 Plus
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
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.

MathMaker Fonts
Fonts developed by Mountain Lake Software, Inc. for mathematical symbols to be used on macintosh computers.

MathPad
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 kernal attached.

MathSoft
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 community.

MathSolutions
MathSolutions, Inc. is the developer and distributor of MathTensor, a Mathematica-based package for performing tensor analysis by computer.

MathType
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
MathWare sells and provides information on mathematics packages including Derive, GyroGraphics, and AcroSpin.

Mathwise
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
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
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.

MegaWave
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
METIS is a set of programs for partitioning graphs and for producing fill reducing orderings for sparse matrices.

Microcal
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.

MicroPress
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 "energy gradient".

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
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
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
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
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
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 the MuPAD-WWW-Service 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 mirrored by the Mathematics Archives.

N-Body Methods Resources
Collection of links to sites which have materials on astrophysical N-body simulations.

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 sustainable basis.

NCAR's Mathematical and Statistical Libraries
NCAR's Scientific Computing Division maintains a large and valuable collection of 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
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
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
This 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
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.

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
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
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 problems.

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 Optimization Software Guide (Jorge J. Mori and Stephen J. Wright, SIAM Publications, 1993).

OR-Objects
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.

Otter
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 software.

Ox
Ox is an object oriented matrix language, with a C and C++ like syntax.

OzMATH
OzMATH 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. Mathematica in 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. Untitled Document
POLYMATH
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
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
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
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.

PDEtools
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
PEST 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
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!
Math 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
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 Leeb.

PLAPACK: Parallel Linear Algebra Package
PLAPACK is designed to provide a user friendly infrastructure for building parallel dense linear algebra libraries.

Poincare
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
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
PseudoPack is a software library for numerical differentiation by pseudospectral methods.

PSIDE
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.

Reduce
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
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 images.

Risa/Asir
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
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
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.

Rotater
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
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 demos

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.

Scientific Word and Scientific WorkPlace

Scilab
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 following systems: 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
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
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
SHAZAM is a comprehensive computer program for econometricians, statisticians, engineers, sociometricians, psychometricians, and others who use statistical techniques.

Sheafhom
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
SIMATH is a computer algebra system, especially for number theoretic purpose.

Singular
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.

SLATEC
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 Library
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
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 are available.

Software for Nonlinear Dynamical Systems
This site contains software for the calculations of dimension and Lyapunov exponents.

Solutions
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!

Solvopt - 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
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
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
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 modules.

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.

STATLIB
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
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 QuickTime movies.

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.

StudyWorks!
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
SuperGraph is a powerful, easy-to-use, inexpensive program to graph explicit and implicit mathematical functions.

SureMath
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.

Surface Evolver
The Surface Evolver is an interactive program for the study of surfaces shaped by surface tension and other energies, and subject to various constraints.

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 QuickBasic Programs

SYMMETRICA
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
This 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 Technique.
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
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
Tela (the TEnsor LAnguage) is a numerical computing environment mainly targeted for numerical simulation pre- and postprocessing work.

TELPACK
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
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
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 Project
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 System
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 Life Models
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
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
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.

VisualMath
The one-stop site for teaching and learning interactive and visual Math. Shareware programs for Windows 95.

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, and Expressionist.

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 decompositions.

WaveLab
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 Berkeley.

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
WaveMetrics is the maker of the IGOR line of graphing and data analysis programs for the Macintosh.

WesVarPC
WesVarPC is a software package that computes estimates and replicate variance estimates for data collected using complex sampling and estimation procedures.

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.

Animal 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.

Word2TEX
General function of Word2TeX is conversion of Microsoft Word documents to LaTeX.

World ombinatorics Exchange
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-Aut
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 interactively.

Zipper: 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)
 Table of Contents Contact Moderators What's New Table of Contents* Search Archives