Discover the best AI tools for
A curated library of AI tools, ready-to-use prompts, fun math games, hand-picked open-source repos, hands-on tutorials, the latest math-tech news, and 1-on-1 tutoring — all in one place.
Start with your goal
A faster route to the right resource.
Featured AI tools
See allMathcha Editor
Write, draw, and share mathematics without memorising LaTeX
A browser-based WYSIWYG mathematics editor for combining normal text, equations, diagrams, matrices, and exports in one document.
GeoGebra Math Resources
Curated interactive activities from number sense to calculus
GeoGebra’s resource hub organizes interactive activities, exercises, lessons, and books by mathematics topic and grade level, with materials…
Desmos Graphing Calculator
Fast, welcoming graphing for functions and data
A polished graphing workspace for functions, tables, sliders, regressions, and classroom demonstrations, with a low barrier to entry for beg…
Mathigon Polypad
A digital canvas for manipulatives, patterns, and discovery
Polypad gives learners virtual tiles, fraction bars, algebra tiles, geometry tools, graphs, and other manipulatives for experimenting with m…
GeoGebra Graphing Calculator
Explore functions, equations, sliders, and data visually
A browser-based graphing workspace for plotting functions, testing parameters, comparing representations, and sharing interactive investigat…
GeoGebra Geometry
Construct, measure, and prove with dynamic geometry
A dynamic geometry canvas where points, lines, circles, transformations, measurements, and conjectures stay connected as a construction chan…
Top prompts
See allSolve compound inequalities
A reusable AI prompt for solve compound inequalities, with explicit reasoning and verification.
Act as a patient mathematics tutor. Help me with this task: Solve compound inequalities. Problem or data: [PASTE PROBLEM HERE] Show the reasoning in clear, nu…
Simplify an algebraic expression
A reusable AI prompt for simplify an algebraic expression, with explicit reasoning and verification.
Act as a patient mathematics tutor. Help me with this task: Simplify an algebraic expression. Problem or data: [PASTE PROBLEM HERE] Show the reasoning in clea…
Solve a system of two equations
A reusable AI prompt for solve a system of two equations, with explicit reasoning and verification.
Act as a patient mathematics tutor. Help me with this task: Solve a system of two equations. Problem or data: [PASTE PROBLEM HERE] Show the reasoning in clear…
Solve a system of three equations
A reusable AI prompt for solve a system of three equations, with explicit reasoning and verification.
Act as a patient mathematics tutor. Help me with this task: Solve a system of three equations. Problem or data: [PASTE PROBLEM HERE] Show the reasoning in cle…
Math games
See allBirds v Robots - Maths Battle
Birds v Robots - Maths Battle
This game can now be played using thousands of questions covering National Curriculum maths objectives. Registered users can work through th…
Web
Animal Ball v Obstacle Wall
Animal Ball v Obstacle Wall
This game can now be played using thousands of questions covering National Curriculum maths objectives. Registered users can work through th…
Web
Boxy Bird
Boxy Bird
This game can now be played using thousands of questions covering National Curriculum maths objectives. Registered users can work through th…
Web
Maths Choppity Chop
Maths Choppity Chop
This game can now be played using thousands of questions covering National Curriculum maths objectives. Registered users can work through th…
Web
Open-source repositories
See allJuliaLang/Julia
Julia is a high-performance language built for technical and numerical computing. It combines an approachable, mathematical syntax with multiple dispatch and a …
ManimCommunity/Manim
Manim Community is a Python framework for programmatic mathematical animation. Instead of editing every frame manually, you describe objects, transformations an…
numpy/NumPy
NumPy is the core numerical-computing library for Python. Its ndarray object stores large, homogeneous arrays efficiently and enables vectorised operations, whi…
dair-ai/Mathematics for Machine Learning
Mathematics for Machine Learning is a curated learning repository that connects the core mathematics behind modern machine learning: linear algebra, calculus, p…
Tutorials
See allFind mistakes into math drills Addition Worksheet #mathematics #maths #problem_solving #solutions
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
ABACUS 3 Digits Addition & Subtraction Amazing Practice Video #learn #abacus #finger #maths #shorts
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
Single Digit Addition for Kids | KS1 & KS2 Primary Maths
A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..
From the Blog
See allGenLimitLib tests reusable Lean libraries for AI mathematics
A September 29 preprint explores how organized formal mathematics can help AI develop checked proofs.
Wolfram outlines language plans for AI-assisted pure mathematics
A September 28 essay describes work toward mathematical representations that humans and AI can inspect.
MathAgent study finds mixed benefits from knowledge graphs in proof search
A September 28 preprint tests when extra mathematical context helps AI theorem provers.
Stuck on a problem? Get a personal math tutor.
From algebra to graduate-level analysis. 1-on-1 sessions, online, with vetted tutors.