Acknowledging this site
If records or data from this site contribute to a publication, project, or other
scholarly work, please acknowledge the NSF Institute for Computer-Aided Reasoning in
Mathematics (ICARM) and NSF Grant DMS 2425401.
A citation of the site URL (https://additive-squares.icarm.cloud) with an access date is appreciated.