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: Dec 08 2021 at 09:20 UTC