Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Amicable Numbers


view this post on Zulip Email Gateway (Aug 15 2020 at 08:18):

From: Manuel Eberl <eberlm@in.tum.de>
Amicable Numbers
by Angeliki Koutsoukou-Argyraki

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.

https://www.isa-afp.org/entries/Amicable_Numbers.html

Enjoy!

Manuel


Last updated: Dec 08 2021 at 09:20 UTC