Amicable Numbers

 

Title: Amicable Numbers
Author: Angeliki Koutsoukou-Argyraki
Submission date: 2020-08-04
Abstract: 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.
BibTeX:
@article{Amicable_Numbers-AFP,
  author  = {Angeliki Koutsoukou-Argyraki},
  title   = {Amicable Numbers},
  journal = {Archive of Formal Proofs},
  month   = aug,
  year    = 2020,
  note    = {\url{http://isa-afp.org/entries/Amicable_Numbers.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
License: BSD License
Depends on: Polynomial_Factorization, Pratt_Certificate