Metamath is a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems covering conventional results in logic, set theory, number theory, group theory, algebra, analysis, and topology, as well as topics in Hilbert spaces and quantum logic.

A list below shows Metamath alternatives which were either selected by us or voted for by users. You can filter this list by tags and platforms

#### Matita

Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the development of formal proofs by man-machine...

Tags:*Proof Assistants,**Free Theorem Provers,**Dependently Typed Languages,**Educational Math Software,**Ocaml Software,**Free Software Programmed In Ocaml,**Functional Languages*#### Coq by The Coq development team

In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and...

Latest version of Coq (software) is 8.6.1 and it was released on 2017-07-25.

Tags:*Proof Assistants,**Free Theorem Provers,**Dependently Typed Languages,**Educational Math Software,**Ocaml Software,**Free Software Programmed In Ocaml,**Functional Languages,**Programming Languages Created In 1984,**1989 Software*#### Mathletics

Mathletics is the flagship product of Australian educational company 3P Learning. The name Mathletics is a portmanteau of Mathematics and athletics and, as the name suggests, the product aims to...

Tags:*Education,**Educational Math Software*#### MatheAss by Bernd Schultheiss

MatheAss (former Math-Assist) is a computer program for numerical solutions in school mathematics and functions in some points similar to Microsoft Mathematics. "MatheAss is widely spread in math...

Latest version of MatheAss is 8.2 and it was released on 2011-02-11.

Tags:*Educational Math Software,**Mathematical Tools*#### Accelerated Math by Renaissance Learning

Accelerated Math is a daily, progress-monitoring software tool that monitors and manages mathematics skills practice, from preschool math through calculus. It is primarily used by primary and...

Tags:*Educational Math Software,**Renaissance Learning Software*#### Microsoft Mathematics by Microsoft

Microsoft Mathematics (formerly Microsoft Math) is a freely downloadable educational program, designed for Microsoft Windows, that allows users to solve math and science problems. Developed and...

Latest version of Microsoft Mathematics is 4.0.1108.0000 and it was released on 2011-01-11.

Tags:*Educational Math Software,**Science Education Software,**Mathematical Software,**Nokia Services*#### Algebrator by SoftMath

Algebrator (also called Softmath) is a computer algebra system (CAS), which was developed in the late 1990s by Neven Jurkovic of Softmath, San Antonio, Texas. This is a CAS specifically geared...

Latest version of Algebrator is 4.2 and it was released on {{Start date and age|2009}}.

Tags:*Computer Algebra Systems,**Educational Math Software*#### Cantor by KDE Education Project

Cantor is a free software mathematics application for scientific statistics and analysis. It is part of the KDE Software Compilation 4, and was introduced with the 4.4 release as part of the KDE...

Latest version of Cantor is 17.08.0 and it was released on 2017-08-17.

Tags:*Computational Notebook,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Educational Math Software,**Free Computer Algebra Systems,**Free Educational Software,**Kde Education Project,**Science Software That Uses Qt*#### DataScene by Cyberwit, Inc.

DataScene is a scientific graphing, animation, data analysis, and real-time data monitoring software package. It was developed with the Common Language Infrastructure technology and the GDI+...

Latest version of DataScene is 3.0.7 and it was released on March 2011.

Tags:*Animation Software,**Computer Animation,**Data Analysis Software,**Data Visualization Software,**Earth Sciences Graphics Software,**Educational Math Software,**Financial Charts,**Graphics Software,**Plotting Software,**Mathematical Software,**Regression And Curve Fitting Software,**Science Software,**Statistical Charts And Diagrams,**Visualization,**Web Animation,**Graphicsrelated Software For Linux,**Science Software For Linux,**Science Software For Windows*#### Template Numerical Toolkit by National Institute of Standards and Technology

The Template Numerical Toolkit (or TNT) is a software library for manipulating vectors and matrices in C++ created by the U.S. National Institute of Standards and Technology. TNT provides the...

Tags:*C Numerical Libraries,**Free Mathematics Software,**Free Software Programmed In C,**Publicdomain Software With Source Code*#### Spyder

Spyder (formerly Pydee) is an open source cross-platform integrated development environment (IDE) for scientific programming in the Python language. Spyder integrates NumPy, SciPy, Matplotlib and...

Latest version of Spyder is 3.2.3 and it was released on 2017-09-11.

Tags:*Free Integrated Development Environments,**Free Integrated Development Environments For Python,**Python Development Tools,**Free Mathematics Software,**Free Science Software,**Python Software,**Software Using The Mit License*#### Shogun machine learning toolbox by Soeren Sonnenburg,Sergey Lisitsyn,Heiko Strathmann,Fernando Iglesias,Viktor Gal

Shogun is a free, open source machine learning software library written in C++. It offers numerous algorithms and data structures for machine learning problems. It offers interfaces for Octave,...

Latest version of Shogun machine learning toolbox is 6.0.0 and it was released on 2017-04-25.

Tags:*C Libraries,**Free Software Programmed In C,**Data Mining And Machine Learning Software,**Free Statistical Software,**Free Computer Libraries,**Free Mathematics Software,**Free Science Software*#### Photomath by Photomath

Photomath is a mobile application described as a "camera calculator", which utilizes a phone's camera to recognize mathematical patterns and to display the solution directly onscreen. It is...

Tags:*Android Software,**Ios Software,**Photo Software,**Croatian Brands,**2014 Software,**Mobile Applications,**Mathematical Software,**Free Mathematics Software*#### mXparser

mXparser is an open-source mathematical expressions parser/evaluator providing abilities to calculate various expressions at a run time. Expressions definitions are given as plain text, then...

Latest version of mXparser is 4.0.0 and it was released on 2017-03-27.

Tags:*Free Mathematics Software,**Parsing,**2010 Software,**Free Software Programmed In Java,**Free Software Programmed In C Sharp,**Software Using The Bsd License,**Free Mobile Software,**Software That Uses Mono,**Free And Opensource Android Software,**Net Framework Software,**Computer Algebra Systems*#### KaTeX

KaTeX is a cross-browser JavaScript library that displays mathematical notation in web browsers. It puts special emphasis in being fast and easy to use. It was initially developed by Khan...

Latest version of KaTeX is 0.7.1 and it was released on 2017-01-21.

Tags:*Free Mathematics Software,**Javascript Libraries*#### IPython by Others

IPython is a command shell for interactive computing in multiple programming languages, originally developed for the Python programming language, that offers introspection, rich media, shell syntax,...

Latest version of IPython is 6.1 and it was released on 2017-05-31.

Tags:*Command Shells,**Computational Notebook,**Free Mathematics Software,**Free Software Programmed In Python,**Python Development Tools*#### jLab

jLab is a numerical computational environment implemented in Java. The main scripting engine of jLab is GroovySci, an extension of Groovy. Additionally, the interpreted J-Scripts (similar to MATLAB)...

Tags:*Numerical Programming Languages,**Free Mathematics Software,**Array Programming Languages*#### GNU Units by GNU Project

GNU Units is a cross-platform computer program for conversion of units of quantities. It has a database of measurement units, including esoteric and historical units. This for instance allows...

Latest version of GNU Units is 2.14 and it was released on 2017-03-08.

Tags:*Crossplatform Software,**Unix Software,**Gnu Project Software,**Free Mathematics Software*#### Gmsh by Christophe Geuzaine and Jean-François Remacle

Gmsh is a finite-element mesh generator developed by Christophe Geuzaine and Jean-François Remacle. Released under the GNU General Public License, Gmsh is free software. Gmsh contains 4 modules: for...

Latest version of Gmsh is 3.0.1 and it was released on 2017-04-14.

Tags:*Free Mathematics Software,**Free Software Programmed In C,**Crossplatform Free Software,**Mesh Generators,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Software That Uses Fltk,**Computeraided Engineering Software For Linux*#### FreeMat by Samit Basu

FreeMat is a free open-source numerical computing environment and programming language, similar to MATLAB and GNU Octave. In addition to supporting many MATLAB functions and some IDL functionality,...

Latest version of FreeMat is 4.2 and it was released on 2013-06-30.

Tags:*Array Programming Languages,**Free Mathematics Software,**Free Software Primarily Written In Assembly Language,**Free Software Programmed In C,**Free Software Programmed In C,**Free Software Programmed In Fortran,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Science Software That Uses Qt,**Unix Programming Tools*#### Erable by Bernard Parisse,,Mika Heiskanen,,Claude-Nicolas Fiechter

Erable is a computer algebra system (CAS) for a family of Hewlett-Packard graphing scientific calculators of the HP 40, 48 and HP 49/50...

Latest version of Erable is 4.20060919 (2006-09-19) and it was released on 2009-04-21/2012-04-26.

Tags:*Free Computer Algebra Systems,**Free Mathematics Software,**Mathematical Software*#### AutoLatex Equations

Auto-Latex Equations is a Google Docs add-on that allows any Google Docs user to type mathematical equations inside their documents. Auto-Latex Equations uses MathJax and LaTeX-style syntax and...

Latest version of Auto-Latex Equations is 8.1 and it was released on 2016-01-19.

Tags:*Free Educational Software,**Free Mathematics Software,**Mathematical Software*#### Xcas by Bernard Parisse

Xcas is a user interface to Giac, a free, basic Computer Algebra System (CAS) for Windows, macOS and Linux/Unix. Giac can be used directly inside software written in C++. Xcas and Giac are...

Latest version of Xcas is 1.2.3 and it was released on {{release date|2017|01|df=yes}}.

Tags:*C Libraries,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free Computer Algebra Systems,**Free Mathematics Software,**Free Software Programmed In C,**Mathematical Software*#### XaoS

XaoS is an interactive fractal zoomer program. It allows the user to continuously zoom in or out of a fractal in real-time. XaoS is licensed under GPL. The program is cross-platform, and is...

Latest version of XaoS is 3.6 and it was released on 2013-11-01.

Tags:*Free Mathematics Software,**Gnu Project Software,**Fractal Software*#### Trilinos by Sandia National Laboratories

Trilinos is a collection of open-source software libraries, called packages, intended to be used as building blocks for the development of scientific applications. The word "Trilinos" is Greek and...

Latest version of Trilinos is 12.10 and it was released on 2016-11-16.

Tags:*Numerical Libraries,**Concurrent Programming Libraries,**Free Mathematics Software,**C Numerical Libraries*#### SymPy by Independent group of people

SymPy is a Python library for symbolic computation. It provides computer algebra capabilities either as a standalone application, as a library to other applications, or live on the web as SymPy Live...

Latest version of SymPy is 1.1.1 and it was released on 2017-07-22.

Tags:*Articles With Example Python Code,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free Computer Algebra Systems,**Free Mathematics Software,**Free Software Programmed In Python,**Python Scientific Libraries*#### NumPy by Community project

NumPy (pronounced or sometimes ) is a library for the Python programming language, adding support for large, multi-dimensional arrays and matrices, along with a large collection of high-level...

Latest version of NumPy is 1.12.1 and it was released on 2017-03-18.

Tags:*Array Programming Languages,**Articles With Example Python Code,**Free Mathematics Software,**Free Science Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Python Scientific Libraries*#### mlpack

mlpack is a machine learning software library for C++, built on top of the Armadillo library. mlpack has an emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning...

Latest version of mlpack is 2.0.3 and it was released on 2016-07-21.

Tags:*C Libraries,**Data Mining And Machine Learning Software,**Free Computer Libraries,**Free Mathematics Software,**Free Science Software,**Free Software Programmed In C,**Free Statistical Software*#### MathJax by American Mathematical Society

MathJax is a cross-browser JavaScript library that displays mathematical notation in web browsers, using MathML, LaTeX and ASCIIMathML markup. MathJax is released as open-source software under the...

Latest version of MathJax is 2.7.1 and it was released on 2017-04-25.

Tags:*Free Mathematics Software,**Javascript Libraries,**Software Using The Apache License,**Symbol Typefaces*#### GNU Linear Programming Kit by GNU Project

The GNU Linear Programming Kit (GLPK) is a software package intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems. It is a set of...

Latest version of GNU Linear Programming Kit is 4.63 and it was released on 2017-07-25.

Tags:*Gnu Project Software,**Mathematical Optimization Software,**Free Mathematics Software,**Free Software Programmed In C,**Mathematics Software For Linux*#### FFTW by Matteo Frigo and Steven G. Johnson

The Fastest Fourier Transform in the West (FFTW) is a software library for computing discrete Fourier transforms (DFTs) developed by Matteo Frigo and Steven G. Johnson at the Massachusetts Institute...

Latest version of FFTW is 3.3.5 and it was released on 2016-07-31.

Tags:*Numerical Libraries,**Fft Algorithms,**Ocaml Software,**Free Mathematics Software,**Massachusetts Institute Of Technology Software*#### Armadillo C Library

Armadillo is a linear algebra software library for the C++ programming language. It aims to provide efficient and streamlined base calculations, while at the same time having a straightforward and...

Latest version of Armadillo C++ Library is 7.800.0 and it was released on 2017-02-17.

Tags:*Articles With Example C Code,**C Numerical Libraries,**Free Computer Libraries,**Free Mathematics Software,**Free Science Software,**Free Software Programmed In C,**Free Statistical Software,**Numerical Linear Algebra,**Software Using The Apache License*#### Scilab by Scilab Enterprises

Scilab is an open source, cross-platform numerical computational package and a high-level, numerically oriented programming language. It can be used for signal processing, statistical analysis,...

Latest version of Scilab is 6.0.0 and it was released on 2017-02-15.

Tags:*Array Programming Languages,**Free Educational Software,**Free Mathematics Software,**Free Software Programmed In Fortran,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Science Software That Uses Gtk*#### SageMath

SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation") is mathematical software with features covering many aspects of mathematics, including algebra, combinatorics,...

Latest version of SageMath is 8.0 and it was released on 2017-07-21.

Tags:*Articles With Example Python Code,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Free And Opensource Android Software,**Free Computer Algebra Systems,**Free Educational Software,**Free Mathematics Software,**Free Software Programmed In Python,**Mathematical Software,**Python Scientific Libraries*#### Genius by Jiri Lebl

Genius (also known as the Genius Math Tool) is a free open-source numerical computing environment and programming language, similar in some aspects to MATLAB, GNU Octave, Mathematica and Maple....

Latest version of Genius is v1.0.21 and it was released on 2016-01-06.

Tags:*Array Programming Languages,**Numerical Programming Languages,**Free Mathematics Software,**Free Software Programmed In C,**Free Educational Software,**Unix Programming Tools,**Numerical Analysis Software For Macos,**Science Software That Uses Gtk,**Numerical Analysis Software For Linux*#### NTL by Victor Shoup and others

NTL is a C++ library for doing number theory. NTL supports arbitrary length integer and arbitrary precision floating point arithmetic, finite fields, vectors, matrices, polynomials, lattice basis...

Latest version of NTL is 10.3.0 and it was released on 2016-11-18.

Tags:*C Libraries,**Free Mathematics Software,**2015 Software*#### JDemetra by Eurostat

Demetra+ is a program for seasonal adjustments that was developed and published by Eurostat - European Commission. It supports TRAMO&SEATS and X-12-ARIMA methods of...

Latest version of JDemetra+ is 1.1.0 and it was released on 2013-01-20.

Tags:*Time Series Software,**Free Mathematics Software*#### jsMath by Davide P. Cervone and others

jsMath was a JavaScript library for displaying mathematics in browsers in a cross-platform way. jsMath is free software released under the Apache License. jsMath was succeeded by...

Latest version of jsMath is 3.6e and it was released on 2013-04-29.

Tags:*Free Mathematics Software,**Free Tex Software,**Javascript Libraries*#### ND4S NDimensional Arrays for Scala

ND4S is a free, open-source extension of the Scala programming language operating on the Java Virtual Machine - though it is compatible with both Java and Clojure. ND4S is a scientific computing...

Latest version of ND4S: N-Dimensional Arrays for Scala is 0.7.2 and it was released on 2016-12-27.

Tags:*Array Programming Languages,**Numerical Programming Languages,**Data Mining And Machine Learning Software,**Free Statistical Software,**Java Platform,**Java Programming Language Family,**Jvm Programming Languages,**Scala,**Linear Algebra,**Numerical Analysis,**Computational Statistics,**Artificial Neural Networks,**Free Software Programmed In Java,**Free Science Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Free Mathematics Software,**Java Libraries,**Numerical Software,**Cluster Computing,**Hadoop,**Software Using The Apache License,**Free Software Programmed In Scala*#### ND4J NDimensional Arrays for Java by Various

ND4J is a scientific computing library, written in the programming language C++, operating on the Java virtual machine (JVM), and compatible with the languages Java, Scala, and Clojure. ND4J is for...

Latest version of ND4J: N-Dimensional Arrays for Java is 0.5.0 and it was released on 2016-08-03.

Tags:*Array Programming Languages,**Numerical Programming Languages,**Data Mining And Machine Learning Software,**Free Statistical Software,**Java Platform,**Java Programming Language Family,**Jvm Programming Languages,**Scala,**Linear Algebra,**Numerical Analysis,**Computational Statistics,**Artificial Neural Networks,**Free Software Programmed In Java,**Free Science Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Free Mathematics Software,**Java Libraries,**Numerical Software,**Cluster Computing,**Hadoop,**Software Using The Apache License*#### graphtool by Tiago de Paula Peixoto

graph-tool is a Python module for manipulation and statistical analysis of graphs (AKA networks). The core data structures and algorithms of graph-tool are implemented in C++, making extensive use...

Latest version of graph-tool is 2.22 and it was released on 2017-03-02.

Tags:*Numerical Software,**Free Mathematics Software,**Free Software Programmed In Python,**Free Software Programmed In C,**Graph Drawing Software*#### NetworkX by Many others

NetworkX is a Python library for studying graphs and networks. NetworkX is free software released under the BSD-new...

Latest version of NetworkX is 1.11 and it was released on 2016-01-30.

Tags:*Free Mathematics Software,**Free Software Programmed In Python,**Graph Drawing Software,**Numerical Software*#### CERN Program Library by CERN

The CERN Program Library or CERNLIB was a set of FORTRAN 77 libraries and modules, developed at the European Organization for Nuclear Research CERN. Its content ranged from more specialized data...

Latest version of CERN Program Library is {{Start date and age|2005}} and it was released on 2005-05-09.

Tags:*Fortran Libraries,**Free Mathematics Software,**Free Physics Software,**Free Software Programmed In Fortran,**Numerical Software*#### MADNESS by Oak Ridge National Laboratory,Stony Brook University,Virginia Tech,Argonne National Laboratory

MADNESS (Multiresolution Adaptive Numerical Environment for Scientific Simulation) is a high-level software environment for the solution of integral and differential equations in many dimensions...

Tags:*Numerical Software,**Parallel Computing,**Mathematical Software,**Free Mathematics Software,**Computational Chemistry Software*#### GNU Octave by John W. Eaton and many others

GNU Octave is software featuring a high-level programming language, primarily intended for numerical computations. Octave helps in solving linear and nonlinear problems numerically, and for...

Latest version of GNU Octave is 4.2.1 and it was released on Feb 24, 2017.

Tags:*Array Programming Languages,**Articles With Example Matlaboctave Code,**Crossplatform Free Software,**Data Analysis Software,**Data Mining And Machine Learning Software,**Free Educational Software,**Free Mathematics Software,**Free Software Programmed In C,**Gnu Project Software,**Highpriority Free Software Projects,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Science Software That Uses Qt,**Software That Uses Qt*#### gnuplot

gnuplot is a command-line program that can generate two- and three-dimensional plots of functions, data, and data fits. It is frequently used for publication-quality graphics as well as in...

Tags:*Articles Containing Video Clips,**Computer Animation,**Crossplatform Free Software,**Free 3d Graphics Software,**Free Educational Software,**Free Mathematics Software,**Free Plotting Software,**Free Software Programmed In C,**Plotting Software*#### MOEA Framework

The MOEA Framework is an open-source evolutionary computation library for Java that specializes in multi-objective optimization. It supports a variety of multiobjective evolutionary algorithms...

Latest version of MOEA Framework is 2.7 and it was released on 2015-12-11.

Tags:*Evolutionary Computation,**Free Software Programmed In Java,**Free Mathematics Software,**Mathematical Optimization,**Operations Research,**Free Application Software,**Free Science Software,**Free Computer Libraries*