GCTS

A collection of mathematical investigations

Geometrically Constrained
Tree Search

Building structure, learning constraints, and checking what follows. Explore the projects through three connected perspectives.

Start with the essay & interactive Turtle demo

Project directory

16 projects across three perspectives

Pure Math

08

Explore tilings, packings, and topology through interactive examples.

Hyperbolic geometry

Hyperbolic Tiling Lab

See the Böröczky family in hyperbolic space, then inspect the branches and backtracks of a live search.

Topology

Knot Movies

Follow changing strands through a verified sequence of Reidemeister moves, one diagram at a time.

Applied Math

04

Explore geometric toy models, constrained packings, and models you can build.

Constrained packing

Held Circle Packings

Search for circle arrangements under geometric constraints and inspect how local choices shape the packing.

Packing & structure

Tetrahedron Atlas

Compare published tetrahedron quasicrystals, periodic approximants, and dense packings in an interactive three-dimensional viewer.

Meta Math

04

Study matching rules, inspect the algorithm, and follow machine-checked reasoning.

Search & memory

Hat Online Learning

Step through a recorded experiment in which failed branches become sparse geometric markings.

Formal proof

Incidence Cubes

Explore conics, point-line incidence, and tiled-surface cancellation alongside the scope of a joint Lean formalization.