A Rigorous Computer-Assisted Positivity Certificate for the Localized Weil Quadratic Form up to a = log 2
Open access0 citations
Abstract
This preprint presents an author-claimed computer-assisted proof of strict positivity of the localized Weil quadratic form for 0
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-24
Authors: Roberto Carlo Angelone