2025/06/18 by Manuel M. Aguilera, Aguilera, Manuel M.
Mathematics · #11-03 11-03 11-03 #11-11 #11A41 #11A51 #Algebraic and Geometric Analysis #FOS: Mathematics #Number Theory (math.NT)
paper · pdf · doi:10.48550/arxiv.2506.15101
openalex publication_date 2025/06/18 · openalex created_date 2025/10/19 · openalex updated_date 2026/07/28
We formalize the Gauss-Landau theorem, providing a unified prime factorization approach to computing the GCD and LCM of finite nonzero integer sets. Although commonly used as a heuristic or technique in elementary number theory education, these theorems have not been explicitly formalized or named in the literature. This formalization aims to enhance understanding and facilitate adoption in mathematical instruction and research.