LeoMath

Understand mathematics. Don't just memorise it.

Start from definitions. Through derivation, proof, computation and visualisation, see why mathematics holds.

① Drag the tip of the red arrow e₁.
A=(1001)A=\begin{pmatrix}\textcolor{#c2452d}{1}&\textcolor{#1f7a4d}{0}\\\textcolor{#c2452d}{0}&\textcolor{#1f7a4d}{1}\end{pmatrix}

A matrix is not just a table of numbers.

It describes how space itself is transformed.

Open “Linear maps” →

Mathematics is not a list of isolated formulas.

Hover over any node and its prerequisites light up. You will see where what you are learning sits in the whole of mathematics.

Tap a concept to see what it builds on.

Foundations of calculus

Foundations of linear algebra

Introduction to differential equations

Planned

This is how LeoMath teaches.

Why is the derivative of eˣ itself?

Don't read the definition yet. Drag the base a and watch when the difference-quotient curve coincides with the function.

f(x)=ax,f(x+h)−f(x)h=ax⋅ah−1hf(x)=a^{x},\qquad \frac{f(x+h)-f(x)}{h}=a^{x}\cdot\frac{a^{h}-1}{h}
Observe→Conjecture→Define→Derive→Prove→Apply
Intuition⟶Rigorous mathematics

Both. Intuition lets you see the result; derivation and proof let you know why it is true.

Open the full derivation of “The derivative” →
ax+h−axh=ax⋅ah−1h\frac{a^{x+h}-a^{x}}{h}=a^{x}\cdot\frac{a^{h}-1}{h}
difference quotient ÷ function 0.8284

Turn mathematics into tools.

Mathematical and scientific-computing software by Leo. Binaries and release notes are hosted on GitHub Releases.

Leo AI

Coming soon · v2.1.2

A tool for scientific research and mathematical workflows.