Popular repositories Loading

1. havelock-vortex-rings havelock-vortex-rings Public

   Stability of regular N-vortex rings on the sphere, plane and hyperbolic plane: Montaldi–Tokieda Conjecture 13 completed, certified tanh-model thresholds, a Lean 4 check, and the havelock Python pac…

   Lean 2

2. bolzakit bolzakit Public

   Certified computations on the Bolza surface: a computer-assisted (conditional) proof that it is a strict local maximum of lambda_1, an independent certificate checker, and repeated-eigenvalue sensi…

   Python 1

3. jacobi-asymptotics jacobi-asymptotics Public

   Asymptotics of recurrence coefficients for discrete measures with power-law atoms; Hankel determinants of zeta values (Lean-verified)

   TeX 1

4. cyber-bert cyber-bert Public

   Threat Assessment Model

   Python

5. transformer-topology transformer-topology Public

   Python

6. vortex-stability-papers vortex-stability-papers Public

   Lean