Local Lean formalization permanently registered in Palomar (PALOMAR-2026-08-29-000004). Two-certificate trace-energy deduction for the 67.3316977142% simple critical-line zero research-draft candidate.
Spatio-temporal point patterns on linear networks
Pair correlation function analysis of fluorescence fluctuations in big image time series.
A package to calculate typical pair correlations, such as Percus-Yevick, and to calculate specific particle configurations from a given pair correlation.
Jupyter Notebook code that analyzes an image or a video compilation of images for colloidal systems. Analyzes pair and triplet correlations, as well as the pair and triplet free energies/potentials of mean force.
Unrefereed research on unconditional low-multiplicity profiles for Riemann zeta zeros, with exact certificates and clearly separated RH-adjacent explorations. Does not prove RH.
Advancing the Proportion of Riemann Zeta Zeros on the Critical Line: A Multi-Model Research Program — information-theoretic barriers beyond the 2/3 bound
To associate your repository with the pair-correlation topic, visit your repo's landing page and select "manage topics."