Wieferich–Kempner Theorem

Jamie Chen 🌐

March 6, 2024

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

GNU Lesser General Public License (LGPL)

Topics

Related publications

Session Wieferich_Kempner