WolframAlpha
WolframAlpha (/ˈwʊlf.rəm-/ WUULf-rəm-) is an answer engine developed by Wolfram Research. It answers factual queries by computing answers from externally sourced data. WolframAlpha was released on May
Microsoft Math Solver
Microsoft Math Solver (formerly Microsoft Mathematics and Microsoft Math) is an entry-level educational app that solves math and science problems. Developed and maintained by Microsoft, it is primaril
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
Link-Systems International
Link-Systems International, Inc. (LSI) is a privately held American distance-learning software corporation based in Tampa, Florida. The company is best known for NetTutor, its online tutoring service;
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
Algebrator
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 towards
Lean (proof assistant)
Lean is a theorem prover and programming language. It is based on the calculus of constructions with inductive types. The Lean project is an open source project, hosted on GitHub. It was launched by L
StatCrunch
StatCrunch is a web-based statistical software application from Pearson Education. StatCrunch was originally created for use in college statistics courses. As a full-featured statistics package, it is
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 co
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
Coq
Coq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find formal proofs, and extracts a
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
Maths Pathway
Maths Pathway is an online educational website based in Melbourne, used in Australian schools to teach mathematics. It differs from traditional mathematics, as it is set up in a modular format, with s
Doubtnut
Doubtnut is an Indian educational app started by Tanushree Nagori and Aditya Shankar. Doubtnut is available as an Android application on Play Store or by accessing its official website. in 2016. Doubt
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
Symbolab
Symbolab is an answer engine that provides step-by-step solutions to mathematical problems in a range of subjects. It was originally developed by Israeli start-up company EqsQuest Ltd., under whom it
Statistics Online Computational Resource
The Statistics Online Computational Resource (SOCR) is an online multi-institutional research and education organization. SOCR designs, validates and broadly shares a suite of online tools for statist
WorldWideWhiteboard
WorldWideWhiteboard is a Web-based online collaboration and conferencing tool designed for use in online education. The WorldWideWhiteboard domain, trademark, and technology are owned and developed by
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
Mathletics (educational software)
Mathletics is an online, educational website launched in 2005. The website places an emphasis upon Web 2.0 technologies to teach an interactive learning style which is designed to replicate the use of
GeoGebra
GeoGebra (a portmanteau of geometry and algebra) is an interactive geometry, algebra, statistics and calculus application, intended for learning and teaching mathematics and science from primary schoo
Mathspace
Mathspace is an online mathematics program designed for students in primary/elementary, secondary, and higher education. It is designed for students aged between 7 and 18, and is used by schools in Au