Chit-chat on Lagrange's four-square theorem

Lagrange’s four-square theorem is a beautiful result in number theory. However, to the best of my knowledge, I haven’t encountered it often in theoretical computer science. Today’s entry discusses two interesting stories related to this theorem.

Original as single pages corrected - LaGrange College

Differential Equations - Laplace's Equation

Rinocchio: SNARKs for Ring Arithmetic

Xena Mathematicians learning Lean by doing.

Lagrange's Four-Square Theorem Seen Using Polygons and Lines - Wolfram Demonstrations Project

History of mathematics

MathType - Lagrange's four-square theorem states that every natural number can be represented as the sum of four integer squares. Proved by Joseph Louis #Lagrange in 1770, it can be regarded as

Lagrange's Four-Square Theorem Seen Using Polygons and Lines - Wolfram Demonstrations Project

Lagrange's Four-Square Theorem -- from Wolfram MathWorld

Finalist Directory - Society for Science & the Public

MathType - Lagrange's four-square theorem states that every natural number can be represented as the sum of four integer squares. Proved by Joseph Louis #Lagrange in 1770, it can be regarded as