Skip to content
zzj
Select theme

Mathematical Notes

A PERSONAL MATHEMATICAL NOTEBOOK

Begin with intuition.
Arrive at proof.

A notebook on structure, space, and change. Exploring mathematical ideas and derivations, and the beauty of rigorous formal proof with Lean 4.

Start reading All 6 notes Browse source
06 notes06 subjectsNative math PDF editionsLast note 14 Sep 2026

Subjects

6 subjectsAll notes
1 note

Real analysis

Limits, continuity and the structure of the real line, with the counterexamples that shape them.

Latest Finite-Dimensional Translation Spaces and Lie Group Projections

1 note

Topology

Open sets, continuity and the invariants that survive deformation.

Latest Continuity

1 note

Geometry

Differential forms, curvature and the calculus of smooth spaces.

Latest Exterior Derivatives via Linear Algebra

1 note

Lie theory

Groups, their linearizations, and the symmetry behind functional equations.

Latest Cover Linear

1 note

Mathematical modeling

Small optimisation and simulation models, with their assumptions stated up front.

Latest Optimal Departure Time and Walking Speed for the Cafeteria

1 note

Inequalities

Latest Exchanging Exponentials

Recently added

Newest first
  1. Exchanging ExponentialsInequalities
  2. Optimal Departure Time and Walking Speed for the CafeteriaMathematical modeling
  3. Finite-Dimensional Translation Spaces and Lie Group ProjectionsReal analysis
  4. ContinuityTopology
  5. Cover LinearLie theory

One intuition, one deduction at a time.
Gathering what I learn, leaving a trail for the next idea.

Notes © zzj · Content: CC BY-SA 4.0 · Code: MIT · Built with Astro + Starlight