| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
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 |
| 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. |
|
Proof outline Proof document |
| Browse theories |
| Download this entry |