Mizar system
The Mizar system consists of a formal language for writing mathematical definitions and proofs, a proof assistant which is able to mechanically check proofs written in this language, and a library of ...
Mizar system - Wikipedia
The Secret Island of Dr. Quandary
The Secret Island of Dr. Quandary is an educational computer puzzle game developed by MECC, which pits the player against a variety of mathematical and logical puzzles. It was released in 1992 for the...
The Secret Island of Dr. Quandary - Wikipedia
WorldWideWhiteboard
WorldWideWhiteboard is a Web-based online collaboration and conferencing tool designed for use in distance education. The WorldWideWhiteboard domain, trademark, and technology are owned and developed ...
Matita
Matitais 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 collabor...
Matita - Wikipedia
Ko's Journey
Ko's Journey is an educational math game designed to teach middle school math curriculum through a story-based method. Following an approach similar to predecessor games such as the The Oregon Trail, ...
Math Rescue
Math Rescue is a 1992 educational platform game created by Karen Crowther of Redwood Games and published by Apogee Software. Released in October, 1992, for the DOS platform, it is a loose successor to...
Math Rescue - Wikipedia
Cantor (software)
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 Educa...
Cantor (software) - Wikipedia
Accelerated Math
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 secondar...
Math-Bridge
Computer-based mathematics education (CBME) is an approach to teaching mathematics that emphasizes the use of computers.
Computers are used in education in a number of ways, such as interactive tu...
Math-Bridge - Wikipedia
Coq
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 extract...
Coq - Wikipedia
Metamath
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 co...
Metamath - Wikipedia
Computer-based mathematics education
Computer-based mathematics education (CBME) is an approach to teaching mathematics that emphasizes the use of computers.
Computers are used in education in a number of ways, such as interactive tu...
Math Blaster Episode I: In Search of Spot
Math Blaster Episode I: In Search of Spot (1994) is a product in a line of educational products created by Davidson & Associates and a remake of their earlier New Math Blaster Plus! from 1991. Ver...
Math Blaster Episode I: In Search of Spot - Wikipedia
Maplets for Calculus
Maplets for Calculus are a collection of Java applets written in the computer algebra system (CAS) Maple, which teach calculus. They were written by Philip Yasskin at Texas A&M University and Doug...
DataScene
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+ graphics ...
DataScene - Wikipedia
Microsoft Mathematics
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 mainta...
Microsoft Mathematics - Wikipedia
FutureU
futureU is an educational video game developed and published by Aspyr Media on November 5, 2008 for Windows, Mac OS X, and the Nintendo DS, and created in association with test preparation company Kap...
FutureU - Wikipedia
My SAT Coach
My SAT Coach is a game on the Nintendo DS that helps students prepare for the Scholastic Aptitude Test (SAT), a common standardized college-entry exam for American high school students.The Princeton R...
My SAT Coach - Wikipedia
NetTutor
NetTutor is a Web-based online tutoring service. The NetTutor website, trademark, and interface technology are owned by Link-Systems, International (LSI), a privately held distance-learning software c...
Statistics Online Computational Resource
The Statistics Online Computational Resource (SOCR) is a suite of online tools and interactive aids for hands-on learning and teaching concepts in statistical analysis and probability theory developed...
Statistics Online Computational Resource - Wikipedia
James Discovers Math
James Discovers Math is an educational computer game that was developed in 1995 by Brøderbund in association with Australian developer Brains.
The video game teaches vital skills in mathematics an...
James Discovers Math - Wikipedia
Matheass
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 clas...
Math Blaster Episode II: Secret of the Lost City
Math Blaster Episode II: Secret of the Lost City is an educational game in the Blaster Learning System by Davidson & Associates and is the sequel to Math Blaster Episode I: In Search of Spot. In t...
Munchers
Munchers was a series of educational/edutainment computer games produced by the Minnesota Educational Computing Consortium (MECC) for several operating systems. They were popular among American school...
L – A Mathemagical Adventure
L – A Mathemagical Adventure is an educational adventure game that was created for the BBC/Acorn class of computers in 1984. It was written by members of the Association of Teachers of Mathematics and...
L – A Mathemagical Adventure - Wikipedia