Educational math software

Duolingo, Inc. is an American educational technology company that produces learning apps and provides language certification. Duolingo offers courses on 42 languages, ranging from English, French, and Spanish to less commonly studied languages such as Welsh, Irish, and Navajo, and even constructed languages such as Esperanto and Klingon. It also offers courses on music, math, and chess. The learning method incorporates gamification to motivate users with points, rewards and interactive lessons featuring spaced repetition. The app promotes short, daily lessons for consistent, phased practice.

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 school to university level. GeoGebra is available on multiple platforms, with apps for desktops (Windows, macOS and Linux), tablets (Android, iPad and Windows) and web. As of 2025, it is owned by Indian edutech firm Byju's.

WolframAlpha is an online knowledge engine developed by Wolfram Research that has been around since 2009. It is offered as an online service that answers queries by computing answers from externally sourced data.

MS Windows application for solving maths problems

software for interactive and automated theorem proving

Desmos is an advanced graphing calculator implemented as a web application and a mobile application written in TypeScript and JavaScript.

thumb|300x300px|An interactive proof session in CoqIDE, showing the proof script on the left and the proof state on the right.

proof assistant