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.
  author  = {Angeliki Koutsoukou-Argyraki},
  title   = {Amicable Numbers},
  journal = {Archive of Formal Proofs},
  month   = aug,
  year    = 2020,
  note    = {\url{},
            Formal proof development},
  ISSN    = {2150-914x},
License: BSD License
Depends on: Polynomial_Factorization, Pratt_Certificate
Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.