weil-form

Here are 2 public repositories matching this topic...

coelto / weil-certs-checker

Independent verification of the published certificates of rigorous lower bounds for the truncated Weil form in Arb ball arithmetic (python-flint).

interval-arithmetic arb computer-assisted-proof computer-assisted-proofs rigorous-numerics explicit-formula python-flint weil-form

Updated Nov 5, 2026
Python

coelto / logarithmic-laplacian-hadamard-boundary-balance

Star

PDF of the paper on the logarithmic Laplacian, the Hadamard formula and the boundary balance for the infimum of the truncated Weil form, with checksums and an OpenTimestamps timestamp.

explicit-formula weil-form logarithmic-laplacian hadamard-formula boundary-balance

Updated Nov 5, 2026

Add this topic to your repo

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

Learn more