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 maintained by Microsoft, it is primarily targeted at students as a learning tool.

A related freeware add-in, called Microsoft Mathematics Add-In for Word and OneNote, is also available from Microsoft and offers comparable functionality (Word 2007 or higher is required).

Microsoft Math has received 2008 Award of Excellence from Tech & Learning Magazine.

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

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

#### 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*#### 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*#### Metamath by Norman Megill

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

Tags:*Proof Assistants,**Largescale Mathematical Formalization Projects,**Educational Math Software,**Free Mathematics 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*#### Surface Evolver

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

Latest version of Surface Evolver is 2.70 and it was released on August 25th 2013.

Tags:*Mathematical Software,**Physics Software,**Sciencesoftware*#### Regina by Ben Burton, Ryan Budney, William Pettersson

Regina is a suite of mathematical software for 3-manifold topologists. It focuses upon the study of 3-manifold triangulations and includes support for normal surfaces and angle...

Latest version of Regina is 4.96 and it was released on Aug, 2014.

Tags:*Mathematical Software*#### Polymake

Polymake is software for the algorithmic treatment of convex polyhedra. Albeit primarily a tool to study the combinatorics and the geometry of convex polytopes and polyhedra, it is by now also...

Latest version of Polymake is {{URL|polymake.org/doku.php/download/start|3.0}} and it was released on January 8, 2016.

Tags:*Mathematical Software,**Polyhedra,**Computational Geometry*#### FORM by Jos Vermaseren, et al.

FORM is a symbolic manipulation system. It reads text files containing definitions of mathematical expressions as well as statements that tell it how to manipulate these expressions. Its original...

Tags:*Computer Algebra Systems,**Free Computer Algebra Systems,**Free Software Programmed In C,**Mathematical Software,**Physics Software,**Science Software*#### f Scholar by Future Graph, Inc.

f(g) Scholar also known as fg Scholar was a graphing, spreadsheet, and calculator software package published by Future Graph, Inc.. The software received a number of awards as well as extensive...

Tags:*Mathematical Software,**Spreadsheet Software*#### Berkeley Madonna

Berkeley Madonna is a mathematical modelling software package, developed at the University of California at Berkeley by Robert Macey and George Oster. It numerically solves ordinary differential...

Latest version of Berkeley Madonna is Version 8.3.18 and it was released on 2009.

Tags:*Mathematical Software*#### Prime95 by George Woltman

Prime95 is the freeware application written by George Woltman that is used by GIMPS, a distributed computing project dedicated to finding new Mersenne prime numbers. More specifically, Prime95...

Latest version of Prime95 is 28.10 and it was released on 2016-10-30.

Tags:*Distributed Computing Projects,**Primality Tests,**Computer Benchmarks,**Science Software For Macos,**Science Software For Windows,**Science Software For Linux,**Bsd Software,**Mathematical Software*#### Chebfun by The Chebfun Team,University of Oxford

Chebfun is a free/open-source software system written in MATLAB for numerical computation with functions of a real variable. It is based on the idea of overloading MATLAB's commands for vectors and...

Latest version of Chebfun is v5.7.0 and it was released on 02 June 2017.

Tags:*Mathematical Software*#### Calculator by Apple Inc.

Calculator is a basic calculator application made by Apple Inc. and bundled with macOS. It has three modes: basic, scientific, and programmer. Basic includes a number pad, buttons for adding,...

Latest version of Calculator is 10.8 and it was released on 2015-04-08.

Tags:*Classic Mac Os Software,**Macos Software,**Software Calculators,**Mathematical 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*#### 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*#### mwrank by J. E. Cremona and others

mwrank is one in a suite of programs for computing elliptic curves over rational numbers. Other programs in the suite compute conductors, torsion subgroups, isogenous and quadratic twists of curves....

Latest version of mwrank is v20160206 and it was released on 2016-02-06.

Tags:*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*#### WIRIS by Maths for More

WIRIS is a set of proprietary HTML-based JavaScript tools which can author and edit mathematical formulas, execute mathematical problems and show mathematical graphics on the Cartesian coordinate...

Tags:*Interactive Geometry Software,**Mathematical Software,**Formula Editors,**Formula Manipulation Languages,**Computer Algebra Systems,**Crossplatform Software*#### GEUP 7 by GEUP.net

GEUP is a commercial interactive geometry software program, similar to Cabri Geometry. Originally using the Spanish language, it was programmed by Ramón Alvarez Galván. Recent versions include...

Latest version of GEUP 7 is 7.0.2 and it was released on Jan 2017.

Tags:*Mathematical Software,**Interactive Geometry Software,**Science Software For Windows*#### MathMagic by InfoLogic

MathMagic is a mathematical WYSIWYG equation editor, available for Windows, macOS, Android and iOS since its debut in 1998. MathMagic is known for its DTP quality equations and widely used by Adobe...

Latest version of MathMagic is v9.31 for macOS, v8.31 for Windows and it was released on 2017-07-07.

Tags:*Mathematical Software,**Formula Editors,**Science Software,**Desktop Publishing Software*#### 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*#### Vensim by Ventana Systems, Inc.

Vensim is simulation software developed by Ventana Systems. It primarily supports continuous simulation (system dynamics), with some discrete event and agent-based modelling capabilities. It is...

Latest version of Vensim is Version 6.4 and it was released on {{start date and age|df=yes|paren=yes|2016|06}}.

Tags:*Environmental Science Software,**Mathematical Software,**Numerical Software,**Probabilistic Software,**Risk Management Software,**Science Software For Windows,**Scientific Simulation Software,**Simulation Programming Languages,**Simulation Software*#### GPOPSII by Michael Patterson, Anil V. Rao

GPOPS-II (pronounced "GPOPS 2") is a general-purpose MATLAB software for solving continuous optimal control problems using hp-adaptive Gaussian quadrature collocation and sparse nonlinear...

Latest version of GPOPS-II is 2.0 and it was released on 2015-09-01.

Tags:*Mathematical Optimization Software,**Optimal Control,**Mathematical Software,**Numerical Software*#### GoldSim by GoldSim Technology Group LLC

GoldSim is dynamic, probabilistic simulation software developed by GoldSim Technology Group. This general-purpose simulator is a hybrid of several simulation approaches, combining an extension of...

Latest version of GoldSim is 12.0 and it was released on 2017-02-15.

Tags:*Simulation Software,**Risk Management Software,**Scientific Simulation Software,**Mathematical Software,**Environmental Science Software,**Numerical Software,**Simulation Programming Languages,**Probabilistic Software,**Science Software For Windows*#### STARMAD

STARMAD (space tool for advanced and rapid mission analysis and design) deals with the latest trend in the space industry is towards space missions, spacecraft, systems and products, which require...

Latest version of STARMAD is 3.2.0 and it was released on January 1, 2011.

Tags:*Aerospace Engineering Software,**Systems Engineering,**Project Management,**Astronomy Software,**Mathematical Software,**Physics Software,**Space Science,**Spaceflight,**Mathematical Optimization,**Business Software For Windows*#### ASTOS by Astos Solutions GmbH

ASTOS is a tool dedicated to mission analysis, Trajectory optimization, vehicle design and simulation for space scenarios, i.e. launch, re-entry missions, orbit transfers, Earth observation,...

Latest version of ASTOS is 8.0.6 and it was released on 2015-12-07.

Tags:*Astronomy Software,**Mathematical Software,**Physics Software,**Mathematical Optimization Software*#### WORHP by , et al.

WORHP, pronounced like the English word "warp", also referred to as eNLP (European NLP solver) by ESA, is a mathematical software library for solving continuous large scale nonlinear optimization...

Latest version of WORHP is 1.8-938b332 and it was released on 2015-07-27.

Tags:*Mathematical Optimization Software,**Mathematical Software,**Numerical Software*#### STK by Analytical Graphics, Inc.

Systems Tool Kit (formerly Satellite Tool Kit), often referred to by its initials STK, is a physics-based software package from Analytical Graphics, Inc. that allows engineers and scientists to...

Latest version of STK is 11.1 and it was released on {{Start date and age|2016|06}}.

Tags:*1989 Software,**3d Graphics Software,**Astronomy Software,**Mathematical Software,**Physics Software*#### ILNumerics by ILNumerics

ILNumerics is a mathematical class library for Common Language Infrastructure (CLI) developers and a domain specific language (DSL) for the implementation of numerical algorithms on the .NET...

Latest version of ILNumerics is v4.12 and it was released on 2016-11-11.

Tags:*3d Graphics Software,**3d Scenegraph Apis,**Array Programming Languages,**C Sharp Libraries,**Computer Vision Software,**Data Analysis Software,**Data Visualization Software,**Mathematical Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Linear Algebra,**Numerical Programming Languages,**Objectoriented Programming Languages,**Opengl,**Parallel Computing,**Science Software,**Unix Programming Tools*#### FreeFlyer by a.i. solutions, Inc.

FreeFlyer is a software application for use in satellite mission analysis, design and operations. FreeFlyer's architecture centers on its native scripting language, known as FreeForm script. As a...

Latest version of FreeFlyer is 7.3 and it was released on {{start date and age|2017|9}}.

Tags:*3d Graphics Software,**Aerospace Engineering Software,**Astronomy Software,**Mathematical Software,**Physics Software,**Science Software For Windows*#### 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*#### Wolfram Mathematica by Wolfram Research

Wolfram Mathematica (usually termed Mathematica, Mathematica software suite) is a mathematical symbolic computation program, sometimes termed a computer algebra system or program, used in many...

Tags:*1988 Software,**Astronomical Databases,**Computational Notebook,**Computer Algebra System Software For Linux,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Windows,**Computer Algebra Systems,**Crossplatform Software,**Data Mining And Machine Learning Software,**Earth Sciences Graphics Software,**Econometrics Software,**Formula Editors,**Interactive Geometry Software,**Mathematical Optimization Software,**Mathematical Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Numerical Programming Languages,**Numerical Software,**Physics Software,**Pirelated Software,**Plotting Software,**Proprietary Commercial Software For Linux,**Proprietary Crossplatform Software,**Regression And Curve Fitting Software,**Simulation Programming Languages,**Software That Uses Qt,**Statistical Programming Languages,**Theorem Proving Software Systems,**Time Series Software,**Wolfram Research*#### Speakeasy by Speakeasy Computing Corporation

Speakeasy is a numerical computing interactive environment also featuring an interpreted programming language. It was initially developed for internal use at the Physics Division of Argonne National...

Latest version of Speakeasy is IV Iota and it was released on 2006.

Tags:*Data Analysis Software,**Mathematical Software,**Physics Software,**Proprietary Crossplatform Software,**Numerical Analysis Software For Linux,**Numerical Analysis Software For Macos,**Numerical Analysis Software For Windows,**Computer Algebra System Software For Windows,**Computer Algebra System Software For Macos,**Computer Algebra System Software For Linux,**Array Programming Languages,**Numerical Programming Languages,**Numerical Linear Algebra,**Statistical Programming Languages,**Simulation Programming Languages,**Programming Languages Created In 1964*#### oFono by Aki Niemi, Marcel Holtmann, Denis Kenzior, Claudio Takahasi, etc.

oFono is a free software project for mobile telephony (GSM/UMTS) applications. It is built on 3GPP standards and uses a high-level D-Bus API for use by telephony applications. oFono is free software...

Latest version of oFono is 1.16 and it was released on 2014-12-13.

Tags:*Free Mobile Software,**Intel Products,**Linuxonly Software,**Mobile Linux,**Nokia Services*#### Maliit by Jan Arne Petersen and contributors

Maliit an input method framework for computers with particular focus on implementing virtual keyboards. Designed mostly for touchscreen devices, Maliit allows the inputting of text without the...

Latest version of Maliit is 0.81.4 and it was released on 2013-02-01.

Tags:*Input Methods,**Nokia Services,**Mobile Linux,**Free Mobile Software,**Free Software Programmed In C*#### Nokia Store by Microsoft Mobile

The Nokia Store (earlier Ovi Store) was launched worldwide in May 2009. Here, customers could download mobile games, applications, videos, images, and ringing tones to their Nokia devices. Some of...

Tags:*Mobile Software Distribution Platforms,**Nokia Services*#### Here WeGo by HERE Global B.V.

Here WeGo (formerly Here Maps) is a maps and navigation application for Android and iOS, and a desktop web mapping service by HERE Global B.V.. Originally developed by Nokia, the application was...

Latest version of Here WeGo is 2.0.10706 ([wiki=dac6fd9db22d265637cc780dde4ac6ba]Android[/wiki]), 2.0.4 ([wiki=ba3f2adea47b86b0d408de3f7e4d922c]iOS[/wiki]) and it was released on 2016-09-28, 2016-09-20.

Tags:*2015 Software,**Android Software,**Ios Software,**Mobile Routeplanning Software,**Nokia Services,**Route Planning Software,**Web Mapping,**Windows Phone Software*#### Sports Tracker by Sports Tracking Technologies Ltd.

Sports Tracker, earlier Nokia Sports Tracker was originally a software tool for Symbian Series 60 phones (particularly those that included a GPS facility such as the Nokia N95, or bluetooth phones...

Tags:*Gps Sports Tracking Applications,**Nokia Services,**Mobile Software,**Symbian Software*#### Nokia Suite by Microsoft Mobile

Nokia Suite (formerly Nokia Ovi Suite) is an application for Nokia users to connect their devices with Microsoft Windows. The service was originally developed by Nokia but was subsequently taken...

Latest version of Nokia Suite is 3.8.54 and it was released on 2016-11-19.

Tags:*Nokia Services,**Mobile Software,**Mobile Device Management Software*#### Mobile Web Server by Apache Software Foundation, Nokia Research

A Mobile Web Server is url= Server]] designed for modern-day smartphones to host personal web servers, through the use of open sourced software, such as, i-jetty, an open source software, based on...

Latest version of Mobile Web Server is 1.5 and it was released on 2008-11-18.

Tags:*Nokia Services,**Free Web Server Software,**Free Software Programmed In C,**Free Software Programmed In C,**Free Software Programmed In Java,**Mobile Software,**S60,**Symbian Software*#### 1legcall by TalkFree, Inc

1legcall, is a mobile VoIP dialer that works on most Nokia...

Tags:*Nokia Services,**Symbian Software,**Voip Software*#### Nokia Lifeblog by Nokia Corporation

Nokia Lifeblog was a multimedia diary and website administration tool that automatically collects all the photos, videos, and sound clips that the user creates on the mobile phone, text messages and...

Tags:*Communication Software,**Nokia Services,**Symbian Software*#### AutoTutor

AutoTutor is an intelligent tutoring system developed by researchers at the Institute for Intelligent Systems at the University of Memphis, including Arthur C. Graesser that helps students learn...

Tags:*Science Education Software*#### Andes

Andes is an intelligent tutoring system designed to help students to solve physics...

Latest version of Andes is [http://www.andestutor.org/Install/Download.html 13.1.1] and it was released on January 2009.

Tags:*Science Education Software*#### Gravit by Gerald Kaszuba

Gravit is a free and open source gravity simulator distributed under the GNU General Public License. The program is available for all major operating systems, including Linux and other Unix-like...

Tags:*Free Astronomy Software,**Free Science Software,**Science Education Software*#### Yenka by Crocodile Clips Ltd., Sumdog Ltd.

Yenka is a suite of educational software products which lets students simulate scientific experiments, create mathematical models, design electronic circuits or learn computer programming. Yenka is...

Tags:*Educational Software,**Educational Software Companies,**Science Education Software,**Software For Children*#### NASA World Wind by Ames Research Center (NASA)

World Wind is an open-source (released under the NOSA license) virtual globe first developed by NASA in 2003 for use on personal computers and then further developed in concert with the open source...

Tags:*Virtual Globes,**Keyhole Markup Language,**Nasa Online,**Linux Programming Tools,**Macos Programming Tools,**Programming Tools For Windows,**Earth Sciences Graphics Software,**Free Software Programmed In Java,**Science Education Software,**2004 Software,**Planetarium Software For Linux,**Internet Software For Linux,**Graphic Software In Meteorology,**Satellite Imagery*#### Step

Step is an open source two-dimensional physics simulation engine that is included in the KDE SC as a part of KDE Education Project. It includes StepCore, a physical simulation...

Latest version of Step is 0.1.0 and it was released on 2008-07-29.

Tags:*Kde Software,**Free Physics Software,**Software That Uses Qt,**Kde Education Project,**Science Education Software,**Free Educational Software*#### aqion

Aqion is a hydrochemistry software tool. It bridges the gap between scientific software (such like PhreeqC) and the calculation/handling of "simple" water-related tasks in daily routine practice....

Latest version of aqion is version 6.3 and it was released on May 2017.

Tags:*Computational Chemistry Software,**Science Education Software*#### OrbitVis

Orbit-Vis is an orbit simulation program which is designed to allow users to simulate a satellite in any orbit around the Earth, and to give the user data on the position and motion of the satellite...

Tags:*Science Software For Windows,**Astronomy Software,**Free Software,**Computational Astronomy,**Free Science Software,**Free Astronomy Software,**Science Education Software,**Computational Physics,**Space Science,**Physics Software*#### KStars by KDE developers

KStars is a planetarium program using the KDE Platform. It can be used on most Unix-like computer operating systems, as well as on the Microsoft Windows platform using 'KDE for Windows'. It provides...

Latest version of KStars is 2.7.8 and it was released on 2017-05-18.

Tags:*Kde Software,**Astronomy Software,**Free Astronomy Software,**Planetarium Software For Linux,**Kde Education Project,**Science Education Software,**Free Educational Software,**Software That Uses Qt,**Science Software,**Linux Software,**Free And Opensource Software*#### RegiStax by Cor Berrevoets

RegiStax is image processing software for amateur astrophotographers, released as freeware, designed to run under Windows, but which also runs on Linux, under wine. Its purpose is to produce...

Latest version of RegiStax is 6.1.08 and it was released on 6 May 2011.

Tags:*Astronomy Software,**Science Education Software*