A machine-checked solution to the Jacobians challenge

23.2. Builds on🔗

  • canonical forms

  • cech cohomology

  • dbar solvability

  • finiteness and chi

  • meromorphic and divisors

  • planar stokes atoms

  • residue calculus

  • surfaces and charts