Koide, M. (2025). Constructive Theory of Perfect Numbers [Computer software]. https://github.com/Mk9207/perfect-number-theory