Software which has to do with the science of mathematics, which is the study of relationships between and among numbers, quantities, and shapes, belongs here.

### Recommended Resources

ASCIIMathML is a project that converts calculator-style ASCII math notation to Presentation MathML; works with HTML and XHTML files in Mozilla/Firefox browsers, as well as in IE 6 with MathPlayer.

http://asciimathml.sourceforge.net/

Calc is an open source arithmetic system; useful as a calculator, an algorithm prototype, and as a mathematical research tool.

http://www.isthe.com/chongo/tech/comp/calc/

CAMO has pioneered in Multivariate statistical and analytical software products and solutions.

http://www.camo.com

EasyLatex is a pre-processor to make writing LaTeX much easier; generates equivalent LaTeX documents.

http://sourceforge.net/projects/easylatex/

FrAid features both a standalone application that provides a programming environment for the language, as well as a system for integrating the language.

http://fraid.sourceforge.net/

Frink is a calculating tool and programming language designed to help you in the real world; tracks units of measurement throughout all calculations and ensures that answers are correct.

http://futureboy.us/frinkdocs/

Groups, Algorithms, and Programming (GAP) is a project for computational discrete algebra with particular emphasis on computational group theory and related areas. I

http://www.gap-system.org

qedeq is a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it; proofs are automatically verified by a proof checker.

http://www.qedeq.org/

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich; may also serve as framework for rapid prototyping of deductive systems.

http://isabelle.in.tum.de/

NumericalChameleon converts numbers with a precision of up to 1000 significant figures; supports more than 3200 units in 82 categories, including lengths, areas, volumes, durations, and more.

http://www.jonelo.de/java/nc/

OpenEuclide is 2D geometry software project with which figures are defined dynamically by describing formal geometrical constraint; a basic tool for educational or modeling purposes.

http://coulon.publi.free.fr/openeuclide/

Scilab is a numerical computation project, similiar to Matlab or Simulin; includes hundreds of mathematical functions, and programs from various languages.

http://www.scilab.org/

Offers a range of mathematical software written in Java. Their main products are JEP and AutoAbacus, which provide expression parsing and equation solving functionality for developers and end users.

http://www.singularsys.com/

A series of customizable calculators with more than 100 skins. Custom designs and currency-enabled versions available.

http://www.skincalc.com/

Offers document comparison and document conversion software tools of the most popular file types.

http://www.softinterface.com/

Makers of Mathematica, the only fully integrated technical computing software.

http://www.wolfram.com/