Matpic
mathematics, in pictures
How this site is made

The figure library

Every picture here is generated from code. This is the list of generators, grouped by the field each was written for, with how many placements call it — which is both the reuse this collection lives on and the blast radius of changing one.

No figure on this site is a drawing that was made once and saved. Each one is a function: it takes parameters and returns SVG, so the same generator produces the four-rectangle version and the thirty-rectangle version of a picture without either being redrawn. There are 81 of them, called 704 times across 105 essays.

That indirection is the reason the collection can keep growing without the illustrations drifting apart. A generator is written once, checked once, and every essay that calls it inherits the same line weights, the same colour roles and the same behaviour in dark mode.

The count beside each name is the reuse ratio made visible — a generator called by one essay is a drawing wearing a function's clothes, and reusecheck fails the build over it. It is also the blast radius: changing a generator changes every figure in its list at once, which is worth knowing before the edit rather than after the rebuild. A bad shared helper once broke a hundred and eighty-one figures across four of these sites, and was caught only because somebody rebuilt immediately and knew where to look.

What each one proves is a different question, and it has a page of its own.

Geometry

10 generators · Shapes, and the arguments you can make by rearranging them.

Analysis

7 generators · Limits, curves, and what happens when you keep going.

Algebra

4 generators · Structure: what stays true when you change the numbers.

Discrete

8 generators · Counting, graphs, and things that come in whole pieces.

Topology

6 generators · What survives bending, and what does not.

Probability

5 generators · Randomness with a shape.

Number

10 generators · The whole numbers, and how much structure they turn out to have.

Dynamics

9 generators · One rule, applied over and over, and what the sequence does in the end.

Logic

13 generators · What can be said in a system, what follows from it, and what it cannot settle about itself.

Computation

9 generators · A fixed set of operations, and the exact question of what it can and cannot build.

What the figures prove · All essays