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 classes" in Germany. For schools in the federal state of Hessen (Germany) exists a state license, which allows all secondary schools to use MatheAss

Its functionality is limited compared to other numerical programs, for example, MatheAss has no script language and does no symbolic computation. On the other side it is easy to use and offers the user fully worked out solutions, in which only the necessary quantities need to be entered. MatheAss covers the topics algebra, geometry, analysis, stochastics, and linear algebra.

After a precursor for the home computers, usual around 1980, MatheAss appeared in 1983 as a shareware version for the PC, so it was one of the first shareware programs on the German market. MatheAss is available on the manufacturer's website for download for various versions of the Windows operating system.

Since version 8.2 (released in February 2011) MatheAss again offers a context-sensitive help, which was supplemented in many places by showing mathematical examples and background information. The MatheAss help file can also be viewed online.

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

Latest version of MatheAss is 8.2 and it was released on 2011-02-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*#### 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*#### 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*