Oleg Glushkov

Reproducibility Package for Numerical and Formal Diagnostics of a Compactly Supported Bombieri–Weil Positivity Test

Description This repository contains the source code, numerical data, figures, interactive HTML report, analytic tail estimates, and Coq formalization accompanying the development-stage preprint Numerical and Formal Diagnostics for a Compactly Supported Bombieri–Weil Positivity T...