Email Gateway (Nov 30 2024 at 11:23): Email Gateway (Nov 30 2024 at 11:23):From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce yet another contribution by the ever-prolific Manuel Eberl: The Sum-of-Squares Function and Jacobi's Two-Square Theorem. He defines the sum-of-squares function r_k(n), which counts the number of ways to write a natural number n as a sum of k squares of integers. Signs and permutations of these integers are taken into account. He then formalises the main result: Jacobi's two-square theorem.
https://www.isa-afp.org/entries/Sum_Of_Squares_Count.html
Larry Paulson
Last updated: Jan 04 2025 at 20:18 UTC