From: Manuel Eberl <eberlm@in.tum.de>
Amicable Numbers
by Angeliki Koutsoukou-Argyraki
This is a formalisation of Amicable Numbers, involving some relevant
material including Euler's sigma function, some relevant definitions,
results and examples as well as rules such as Thābit ibn Qurra's Rule,
Euler's Rule, te Riele's Rule and Borho's Rule with breeders.
https://www.isa-afp.org/entries/Amicable_Numbers.html
Enjoy!
Manuel
Last updated: Jan 04 2025 at 20:18 UTC