AI Tools for Mathematics
Discover the best AI tools for algebra, calculus, statistics, machine learning, and beyond.
Mathway
Dedicated AI mathematics website
An online calculator and problem solver for basic maths through calculus and statistics.
Wolfram Alpha
Dedicated AI mathematics website
A computational knowledge engine for exact calculations, plots, units, formulas and mathematical queries.
MathGPT
Dedicated AI mathematics website
An AI mathematics assistant that helps explain and solve algebra, calculus, geometry and other school or university problems.
GeoGebra 3D Calculator
See surfaces, solids, vectors, and spatial relationships
An interactive 3D environment for planes, solids, vectors, surfaces, intersections, and spatial visualization on the web or tablet.
Algebraic Data Types
Education for maths and AI
Algebraic Data Types is an open-source education tool for mathematics, data, and AI workflows.
Manimce
Education for maths and AI
Manimce is an open-source education tool for mathematics, data, and AI workflows.
Mathics3
Education for maths and AI
Mathics3 is an open-source education tool for mathematics, data, and AI workflows.
Sympy Gamma
Education for maths and AI
Sympy Gamma is an open-source education tool for mathematics, data, and AI workflows.
Latexify Py
Education for maths and AI
Latexify Py is an open-source education tool for mathematics, data, and AI workflows.
Sympy Logic
Formal Proof for maths and AI
Sympy Logic is an open-source formal proof tool for mathematics, data, and AI workflows.
Hypothesis
Formal Proof for maths and AI
Hypothesis is an open-source formal proof tool for mathematics, data, and AI workflows.
Manim
Education for maths and AI
Manim is an open-source education tool for mathematics, data, and AI workflows.
Showing page 3 of 14 · 167 total