Books
The imprint.
-
Geometric Probability
Chance and the plane
2026 · 153 pp
Forty-eight problems in classical geometric probability, the broken stick, Buffon's needle, Bertrand's paradox, Sylvester's four-point problem, Wendel's theorem, Cauchy's shadow formula, each with an analytic solution and a Monte Carlo verification box.
-
Nikoli
Japanese logic puzzles, modelled and solved
2026 · 167 pp
Twenty-five Japanese pencil puzzles, Kakuro, Sudoku, Skyscrapers, Kakurasu, Takuzu, KenKen, Flow Free, Slitherlink, Hashi, Akari, Shikaku, Nurikabe, Masyu, Hitori, Fillomino, Heyawake, Shakashaka, Marupeke, Walls, L-Panel, BlockNumber, Searchlights, Numbrix, and Three-in-a-Row, each modelled as a constraint-satisfaction problem and solved by Google's CP-SAT.
-
Problems in Classical and Contemporary Mathematics
A curated selection
2026 · 58 pp
Eighty-two problems across series, integrals, probability, algebra, number theory, geometry, combinatorics, and inequalities, organised by the technique that unlocks them.
-
Solving Puzzles through Mathematical Programming
Non-Japanese puzzles under constraint-programming solvers
2026 · 89 pp
Fifteen classical and contemporary puzzles, Fish, Calendar, Praxis Rhombus, Bedlam Cube, Instant Insanity, Drive Ya Nuts, Ostomachion, Langford, Quintomino on the dodecahedron, Dobble, Bug Byte, Monkey Cat Dog, Prime Circle, Rolling Cubes, and Pilgrims, modelled as constraint-satisfaction problems and solved by Z3, CP-SAT, and NetworkX.
In progress
Work in progress.
Drafts in active development. Drafts are linked here so readers can follow the work; expect rough edges and missing pieces until they reach the imprint above.
-
Loren Larson
Problem-solving through problems, re-typeset with worked solutions
A re-typeset edition of Loren C. Larson's *Problem-Solving Through Problems*, paired with full worked solutions and commentary. Each problem is stated cleanly in modern typography and worked through in the spirit of the original — heuristic first, technique second, finished proof last.
-
The Riddler
Problems from FiveThirtyEight, modelled and solved
Selected problems from Oliver Roeder's *Riddler* column at FiveThirtyEight, set out cleanly and solved with a mix of paper-and-pencil reasoning, generating-function techniques, and small Python simulations where the closed form is out of reach.