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 secondary schools, and it is published by Renaissance Learning, Inc. Currently, there are five versions: a desktop version and a web-based version in Renaissance Place, the company's web software for Accelerated Math and a number of other software products (e.g. Accelerated Reader). In Australia and the United Kingdom, the software is referred to as "Accelerated Maths".

A list below shows Accelerated Math 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*#### 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*#### STAR Reading STAR Early Literacy and STAR Math by Renaissance Learning

STAR Reading, STAR Early Literacy and STAR Math are standardized, computer-adaptive assessments created by Renaissance Learning, Inc., for use in K-12 education. Each is a "Tier 2" assessment of a...

Tags:*Software For Children,**Renaissance Learning Software,**Standardized Tests*