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.

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.

License

BSD License

Topics

Session Amicable_Numbers

Depends on

Cite

× 
@article{Amicable_Numbers-AFP,
  author  = {Angeliki Koutsoukou-Argyraki},
  title   = {Amicable Numbers},
  journal = {Archive of Formal Proofs},
  month   = {August},
  year    = {2020},
  note    = {\url{https://isa-afp.org/entries/Amicable_Numbers.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: