Abstract
This document presents a formalised proof of the Wieferich–Kempner Theorem, stating that all nonnegative integers can be expressed as the sum of nine nonnegative cubes. The source of the proof is the book "Additive Number Theory: The Classical Bases" by Melvyn B. Nathanson.
License
Topics
Related publications
- Nathanson, M. B. (1996). Additive Number Theory. In Graduate Texts in Mathematics. Springer New York. https://doi.org/10.1007/978-1-4757-3845-2