Verification code and data for the Krein programme: exact rational certificates for "An Exact Derivative Calculus for Discrete Krein Strings" (satz1/) and for its application "What a Krein String Sees in Its Weights", with the Riemann zeros as a case study (krein/).
reproducible-research riemann-zeta inverse-problems preregistration continued-fractions random-matrix-theory orthogonal-polynomials jacobi-matrix exact-arithmetic spectral-theory moment-problem krein-string hankel-determinants christoffel-darboux-kernel toda-lattice
-
Updated
Sep 30, 2026 - Python