 3D and SIRDS images  Jonathan Bowen
An archive of single image random dot stereo (SIRDS) and other 3D images, together with related information and software. It is available via anonymous FTP. Plain text information on frequently asked questions concerning SIRDS, an index and a README
...more>>
 3DMathematikprogramm  Ingenieurbüro Riescher
German shareware program for Windows: MATHPROF ist ein einfach bedienbares Mathematikprogramm mit graphischen 2D und 3DDarstellungen, für Schüler, Studenten und Lehrer. Auch lassen sich einfache Konstruktionen im 2D und 3DBereich erstellen und analysieren.
...more>>
 3D Math Explorer  TEBER Engineering & Education Software  Dursun Teber
Graphing software for plotting 2D and 3D data: a computer program that plots 2D and 3D graphs of mathematical functions and curves in unlimited graphing space. Features include 3D curve plotting in real time,
perspective drawing, graph scaling (zooming),
...more>>
 3TAP (Tableaubased Theorem Prover)  Reiner Hähnle, Bernhard Beckert, Stefan Gerberding
A manyvalued tableaubased theorem prover developed at the University of Karlsruhe. It can be instantiated for arbitrary finitelyvalued firstorder logics, and it can handle equality (twovalued), sorts, and nonclausal input. Source code, a manual,
...more>>
 Abakus  Lothar H. Hofmann
Download a free Windows Japanese sorobanabacus. (Site is in Swedish.)
...more>>
 Adaptive Precision FloatingPoint Arithmetic and Fast Robust Predicates for Computational Geometry  Jonathan Richard Shewchuk; University of California at Berkeley
C code for orientation and incircle tests using adaptiveprecision floatingpoint arithmetic. Papers, software, inspiration.
...more>>
 Aepryus Software
Aepryus is a developer of math, physics, and evolutionary biology software for Microsoft Windows computers. Download, purchase, or obtain information about programs such as Aepryus Graph, a function plotting application capable of 2D and 3D shaded plots
...more>>
 The Af2 Proof Assistant  Christophe Raffalli et al., France
A type system based on second order intuitionistic logic. The major design goal of this program was to make as easy as possible the formalization of
mathematical proofs on machine.
...more>>
 AIMMS  Paragon Decision Technology
This optimization software for advanced modeling concepts features solvers for major mathematical programming types and a full graphical user interface both for developers and endusers. Read about features and licensing options; see industrial applications,
...more>>
 The Algae Programming Language  Scott Hunziker, Mike Brennan
A free (GNU GPL) highlevel interpreted language for numerical analysis.
...more>>
 Algebra Calculators  Wanja Hemmerich
Online calculator that solves, simplifies, and factors, showing each step with formatting.
...more>>
 Algebra Coach  Eric Hiob
Freeware (but please register) for use on Windows 95 and higher. The Algebra Coach shows the user stepbystep how to solve any equation or simplify any expression that they enter. It also shows how to solve any system of linear equations by substitution
...more>>
 Algebra Help Tutorials
HelpAlgebra.com provides free algebra tutorials, glossaries, calculators, software reviews, and general algebra help.
...more>>
 Algebra linear functions in C.  xhunga
MSDOS / C programming language. Basic functions (use fractions): addm, subm, multm, powm, smultm, transpose, trace, det, minor, cofactor, mcofactor, adjoint, inverse, gauss, gaussjordan. Elementary row operations: swaprow, multrow, addrow. Useful Functions:
...more>>
 Algebra Master  AlgebraPoint
Commercial software that solves algebra problems and simplifies algebraic expressions stepbystep, with explanations. Demonstration available online.
...more>>
 Algebra Software  Algebranet
Windows software that enables students to solve actual problems from algebra textbooks and not just a limited set of computer generated examples. Features, testimonials, and purchasing information available on the site.
...more>>
 Algebra Tutor  Softmath
Software designed to walk students through their own problems stepbystep. Moneyback guarantee.
...more>>
 Alglib  Sergey Bochkanov, Vladimir Bystritsky
Numerical analysis library in C#, C++, Delphi, Visual Basic, Zonnon. Covers differential equations, systems of linear equations, matrix and vector operations, eigenvalues and eigenvectors, numerical integration, univariate and multivariate optimization,
...more>>
 Algorithms Project  Institut National de Recherche en Informatique et en Automatique (INRIA)
A small international group of people with interests in design and analysis of algorithms, computer algebra, combinatorial analysis and asymptotics. It aims at general methods in combinatorics and analysis, with which classes of problems can be treated
...more>>
 Allwave  Allwave Corp
Software company offering: MathHub® (math tool), PlotHub® (plotting tool), MathCal® (graphical calculator tool, both PC and Pocket PC versions), and MapHub® (map has over 100 projections), as well as a special application for engineering.
...more>>
 Alphametics  Torsten Sillke
Cryptarithms are puzzles in which letters or symbols are substituted for the digits in an arithmetical calculation. If a cryptarithm uses letters in place of digits, and the letters form words or phrases, the puzzle is an alphametic. J. A. H. Hunter coined
...more>>
 Amazing Seattle Fractals  Tutorials  Doug Harrington
Fractal art galleries, fractal tutorials, slide shows, software downloads, guest galleries and more. Four different online fractal art tutorials illustrate step by step how to get started creating this art form based on mathematics.
...more>>
 AMPL: A Modeling Language for Mathematical Programming  Bell Laboratories
A comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems, in discrete or continuous variables. AMPL lets you use common notation and familiar concepts to formulate optimization models and examine solutions,
...more>>
 Amsterdam Tessellation Projects  M. HosMcGrane
Student tessellations created using the software program Tesselmania, inspired by a class trip to the Escher Exhibition in Rotterdam, The Netherlands.
...more>>
 AnalyCorp
XLSim, analytical business modeling in Excel; INSIGHT.xla, software for Monte Carlo simulation, forecasting, and optimization, with seminars in the application.
...more>>
 Analysis & Knowledge  Sanford Aranoff
Download data analysis software, such as Patterns, which analyzes and charts trends in stock market using Andrews concepts. See also this former Rutgers University physics professor and current high school educator's thoughts on teaching and help file
...more>>
 The Analytical Engine  John Walker
The mathematician Charles Babbage designed an Analytical Engine, a mechanical precursor to the computer, in the late 1800s. Read historical documents related to the Engine, including Blaise Pascal's account of his mechanical adding machine (in French),
...more>>
 Analytic Cycling  Tom Compton
Software that provides technical methods for evaluating and estimating cycling performance and parameters. It makes extensive use of differential equations and advanced numerical methods.
...more>>
 Annotated Bibliography of Software Resources (The Chaos Hypertextbook)  Glenn Elert
An extensive annotated list of software related to Elert's Chaos Hypertextbook. Major categories include: Chaos (Dynamical Systems); Iterated Function Systems (IFS); Lindenmayer Systems; Mandelbrot & Julia Sets; Music; Newton's Method; Terrain &
...more>>
 Antiprism  Adrian Rossiter
A set of programs for generating, manipulating, transforming, and viewing models of polyhedra. Open source, via the MIT license.
...more>>
 Aplusix: Software for Learning Algebra
Software for helping students learn algebra. In English, French, Portuguese. Includes classical exercises and word problems, with various levels of assistance. It contains 400 patterns of exercises for numerical calculation, expansion, factorization,
...more>>
 Apophenia  Ben Klemens
An open statistical library for C. Similar to other statistics packages in function, Apophenia does not commit the user to an ad hoc language or environment, but rather keeps data in a database. Download the library, or contribute your own routines.
...more>>
 The APT Library: Monte Carlo Sampling, Geometric Analysis and Other Useful Subroutines  Arthur L. Edwards
The AllParticleTracking (APT) subroutine library contains over 300
subroutines, primarily for Monte Carlo and geometric applications.
It is designed especially to support 2D and 3D codes that generate and
track particles or beams of matter or energy,
...more>>
 APY Calculator
Online calculators that convert annual percentage rate (APR) to annual percentage yield (APY) and vice versa (for certificate of deposit and savings account); and that calculate the real APR of a mortgage with points, origination fees, and closing costs.
...more>>
 Archimedes Geo3D  Andreas Goebel
Software for interactive geometry in three dimensions that you can use to: construct points, lines, spheres, planes, triangles and many more objects; trace points, lines or circles to get locus lines or locus surfaces; drag objects and see the rest of
...more>>
 Artelys Kalis  Artelys SA
Artelys Kalis is an extensible constraint programming framework enabling the user to define its own constraints and search heuristics. It also includes several global constraints. It is available as a C++ library and its port to XpressMosel environment
...more>>
 Artificial Intelligence Resources  NRC  National Research Council (NRC) of Canada
Internet resources useful to AI researchers: Archives for newsgroups and mailing lists; bibliographies; books; companies; conferences; employment opportunities; FAQs; journals; location index (various AI research groups, organized geographically); list
...more>>
 Artlandia SymmetryWorks  Artlandia, Inc.
A plugin for Adobe Illustrator that automates creation of surface designs and ornaments based on seventeen wallpaper groups.
...more>>
 The Art of the Experiment: Educational Software  Symynet; Jeff Rasmussen, Ph.D.
Elearning software that teaches statistical analysis in the context of experimental design. Program information, free demo, pricing and discount information, and ordering information are all available on the site.
...more>>
 The AssiStat  MicroMetrix Corporation
Windowsbased software 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
...more>>
 Astronomical Image Processing System (AIPS)  National Radio Astronomy Observatory
A software package for calibration, data analysis, image display, and plotting of astronomical data.
...more>>
 AutoAbacus  Nathan Funk, Singular Systems
An equationssolving application and calculator. Any number of simultaneous equations can be solved instantly. Uses for the program range from checking results on homework assignments to setting up mathematical models of a reallife problems. A demo is
...more>>
 AutoDiff  Alex Shtof
Define your functions from basic primitives, and this .NET library evaluates and differentiates them analytically, calculating their values and gradients at specified points. Download AutoDiff's latest version; read documentation; track issues and check
...more>>
 Autograph (Mathematics)  Eastmond Publishing Ltd
Autograph is visualization software that operates in two modes: graphs, coordinates and bivariate data; and singlevariable statistics and probability. Resources include graphs, statistics, screencam demos, Microsoft Word worksheets, PowerPoint presentations,
...more>>
 Automated Reasoning Project  Computer Sciences Laboratory, Australian National University, Canberra
A research group that investigates the mathematical properties of nonclassical logics, and studies algorithms for reasoning in various systems, both classical and nonclassical. Includes access to software developed by the team for projects such as FINDER
...more>>
 Automatic Fractal Map Generator  Paolo Guagliumi
A freeware program that generates .map files used by Winfract and Fractint, which make use of .map files that contain 256 lines of ASCII characters that describe RGB (red, green, blue) color values. Site is in English and Italian.
...more>>
 AUTO WWW Site  Pankaj Kamthan
AUTO is software for continuation and bifurcation problems in ordinary differential equations. Bibliography, documentation, download, history, and links to related software.
...more>>
 Banxia Software
Software for professional decision making. Frontier Analyst provides Data Envelopment Analysis to measure an organization's efficiency. Decision Explorer lets you create maps to model a situation and develop a strategy.
...more>>
 The Bath Wavelet Warehouse  Signal and Image Processing Group, Univ. of Bath, U.K.
A collection of wavelet filters available for download. Biorthogonal Wavelets; Orthonormal Wavelets; References.
...more>>
 Bayesian Network tools in Java (BNJ)  William H. Hsu
BNJ is an opensource suite of software tools for research and development using graphical models of probability. It is implemented in 100% pure Java and distributed under the GNU General Public License (GPL) by the Kansas State University Laboratory
...more>>
 
