Amicable Numbers

Angeliki Koutsoukou-Argyraki 🌐

August 4, 2020

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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.


BSD License


Session Amicable_Numbers