Haoxiang Yu

[1] ai.viXra.org:2606.0009 submitted on 2026-06-03 20:02:38 , (28 unique-IP downloads)

The Exact Sidon Constant of {0, 1, 2, 3} and Its Formalization

Authors: Haoxiang Yu
Category: Functions and Analysis