evidence-press

Here is 1 public repository matching this topic...

ipitchford / square-maximises-dirichlet-ratio-quadrilaterals

Unrefereed candidate: computer-assisted proof that the square maximises λ₂/λ₁ (Dirichlet Laplacian) among all quadrilaterals, convex or not. Paper, certificates, verifiers, replay receipts. DOI 10.5281/zenodo.23109314

eigenvalues computer-assisted-proof spectral-geometry validated-numerics evidence-press

Updated Oct 3, 2026
Python

Add this topic to your repo

To associate your repository with the evidence-press topic, visit your repo's landing page and select "manage topics."

Learn more