Production

Live readout of manifests/production/plan.json. 313 units shipped, 54 queued, 13 of 92 books audited.

Generated: 2026-05-10T19:41:54.331076+00:00  ·  Estimated sessions remaining: ~155

313
shipped
54
queued
13/92
audits
47
books unaudited

Next up — top of queue

Topologically ordered by prereqs. Shown: first 25 of 54.

  1. 06.09.06 Mittag-Leffler on RS — from forster-riemann-surfaces
  2. 06.09.07 Runge approximation on RS — from forster-riemann-surfaces
  3. 06.09.08 Survey: Cartan-Serre Stein theory in higher dim — from forster-riemann-surfaces
  4. 04.05.09 Hodge index theorem — from hartshorne-algebraic-geometry
  5. 04.03.06 Derived functors and Ext — from hartshorne-algebraic-geometry
  6. 04.03.07 Higher direct images and base change — from hartshorne-algebraic-geometry
  7. 03.12.22 $\Delta$-complex / semi-simplicial set — from hatcher-algebraic-topology
  8. 06.01.14 Normal families and Montel's theorem — from lars-ahlfors-complex-analysis
  9. 06.01.15 Gamma function $\Gamma(z)$ — from lars-ahlfors-complex-analysis
  10. 06.01.16 Riemann zeta function $\zeta(s)$ — from lars-ahlfors-complex-analysis
  11. 06.01.17 Weierstrass factorization theorem — from lars-ahlfors-complex-analysis
  12. 06.01.18 Mittag-Leffler theorem on $\mathbb{C}$ — from lars-ahlfors-complex-analysis
  13. 06.01.19 Schwarz-Christoffel formula — from lars-ahlfors-complex-analysis
  14. 06.01.20 Picard's little theorem — from lars-ahlfors-complex-analysis
  15. 06.01.21 Picard's great theorem — from lars-ahlfors-complex-analysis
  16. 06.01.22 Phragmén-Lindelöf principle — from lars-ahlfors-complex-analysis
  17. 06.01.23 Schwarz reflection principle — from lars-ahlfors-complex-analysis
  18. 06.01.24 Dirichlet problem on the disc + Perron's method — from lars-ahlfors-complex-analysis
  19. 06.01.25 Weierstrass $\wp$ function — from lars-ahlfors-complex-analysis
  20. 06.01.26 Modular function $\lambda$ and $j$-invariant — from lars-ahlfors-complex-analysis
  21. 06.01.27 Power series and Laurent series (proofs) — from lars-ahlfors-complex-analysis
  22. 06.01.28 Index / winding number of a closed curve — from lars-ahlfors-complex-analysis
  23. 06.01.29 Schottky's and Bloch's theorems — from lars-ahlfors-complex-analysis
  24. 06.01.30 Riemann-Hurwitz for plane meromorphic / sphere maps — from lars-ahlfors-complex-analysis
  25. 00.05.01 Real exponents and exponential function — from serge-lang-basic-mathematics

Audits done (13)

AuditPunch-listP1P2P3P4
arnold-mathematical-methods160000
bott-tu-differential-forms00000
brown-topology-and-groupoids55000
cannas-da-silva-symplectic130000
donaldson-riemann-surfaces110000
forster-riemann-surfaces110000
hartshorne-algebraic-geometry120000
hatcher-algebraic-topology120000
lars-ahlfors-complex-analysis280000
lawson-michelsohn-spin-geometry00000
serge-lang-basic-mathematics220000
tom-m-apostol-calculus-vol-multi130000
tom-m-apostol-calculus-vol-single180000

Books unaudited (47)

The next audits to run. Full booklist.

  • FT 1.02 Mechanics — Landau, Lifshitz
  • FT 1.03 The Classical Theory of Fields — Landau, Lifshitz
  • FT 1.13 Geometric Integration Theory — Hassler Whitney
  • FT 2.01 Quantum Mechanics: Non-Relativistic Theory — Landau, Lifshitz
  • FT 2.02 Quantum Theory, Groups and Representations — Peter Woit
  • FT 2.03 QFT Lecture Notes — Sourav Chatterjee
  • FT 2.04 Generalized Functions Vol. 1 — Gel'fand, Vilenkin
  • FT 2.05 Generalized Functions Vol. 2 — Gel'fand, Vilenkin
  • FT 2.06 Generalized Functions Vol. 3 — Gel'fand, Vilenkin
  • FT 2.07 Generalized Functions Vol. 4 — Gel'fand, Vilenkin
  • FT 2.08 Generalized Functions Vol. 5 — Gel'fand, Vilenkin
  • FT 2.09 Generalized Functions Vol. 6 — Gel'fand, Vilenkin
  • FT 2.10 Statistical Physics 1 — Landau, Lifshitz
  • FT 2.11 Structure of Dynamical Systems — Jean-Marie Souriau
  • FT 2.12 Exactly Solved Models in Statistical Mechanics — R.J. Baxter
  • FT 2.13 Statistical Field Theory Vol. 1 — Itzykson, Drouffe
  • FT 2.14 Statistical Field Theory Vol. 2 — Itzykson, Drouffe
  • FT 2.15 MIT OCW: Statistical Mechanics II — MIT (Kardar et al)
  • FT 2.16 Stochastic Quantization — Parisi et al
  • FT 2.17 The Quantum Theory of Fields Vol. 1 — Steven Weinberg
  • FT 2.18 The Quantum Theory of Fields Vol. 2 — Steven Weinberg
  • FT 2.19 The Quantum Theory of Fields Vol. 3 — Steven Weinberg
  • FT 2.20 Quantum Electrodynamics — Landau, Lifshitz
  • FT 3.03 Morse Theory — John Milnor
  • FT 3.04 Morse Homology — Matthias Schwarz
  • FT 3.07 Lectures on the H-Cobordism Theorem — John Milnor
  • FT 3.08 Characteristic Classes — Milnor, Stasheff
  • FT 3.09 Geometric Quantization — N.M.J. Woodhouse
  • FT 3.10 K Theory — Michael Atiyah
  • FT 3.11 Representation Theory: A First Course — Fulton, Harris

… 17 more.