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: Feb 05 2025 at 16:23 UTC