Lagrange's four-square theorem

DOI10.2478/FORMA-2014-0012zbMath1352.11046OpenAlexW2040368310MaRDI QIDQ502694

Yasushige Watase

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0012

zbMATH Keywords

Lagrange's four-square theorem

Mathematics Subject Classification ID

Sums of squares and representations by other particular quadratic forms (11E25) Mechanization of proofs and logical operations (03B35)

Cites Work

• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item

This page was built for publication: Lagrange's four-square theorem