A Rigorous Computer-Assisted Positivity Certificate for the Localized Weil Quadratic Form up to a = log 2

Q: What does this research mean for the field?

The localized Weil quadratic form is strictly positive for values of a between 0 and log 2. Novelty: ClaimNovelty.NOVEL_FINDING. Consensus alignment: ConsensusAlignment.NEUTRAL.

Roberto Carlo Angelone

doi:10.5281/zenodo.22081714

August 24, 2026Open Access

A Rigorous Computer-Assisted Positivity Certificate for the Localized Weil Quadratic Form up to a = log 2

View Full Paper

Ask AI

Bookmark

Share

Key Points

Establish a rigorous, computer-assisted mathematical verification for the strict positivity of the localized Weil quadratic form up to a = log 2.
Implemented computer-assisted calculation techniques to construct a rigorous positivity certificate.
Evaluated the localized Weil quadratic functional across the domain 0 < a ≤ log 2.
Demonstrated strict positivity for the localized Weil quadratic form over the entire target interval up to a = log 2.

Implication

Computational proof demonstrates strict positivity of the localized Weil quadratic form up to a = log 2, providing a rigorous mathematical certificate.

Abstract

This preprint presents an author-claimed computer-assisted proof of strict positivity of the localized Weil quadratic form for 0

Discussion

No takes yet. Share an insight, caveat, or question.

Cite This Study

Roberto Carlo Angelone (2026) studied this question.

synapsesocial.com/papers/6a8e9b68451774b83f3b41f1 https://doi.org/10.5281/zenodo.22081714

View Full Paper

Ask AI

Bookmark

Share

A Rigorous Computer-Assisted Positivity Certificate for the Localized Weil Quadratic Form up to a = log 2

Key Points

Implication

Abstract

Discussion

Cite This Study

A Rigorous Computer-Assisted Positivity Certificate for the Localized Weil Quadratic Form up to a = log 2

Key Points

Implication

Abstract

Discussion

Cite This Study

Keep reading

Keep reading