Perfect Number Theorem

Mark Ijbema 📧

November 22, 2009

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

These theories present the mechanised proof of the Perfect Number Theorem.

License

BSD License

Topics

Session Perfect-Number-Thm

Cite

× 
@article{Perfect-Number-Thm-AFP,
  author  = {Mark Ijbema},
  title   = {Perfect Number Theorem},
  journal = {Archive of Formal Proofs},
  month   = {November},
  year    = {2009},
  note    = {\url{https://isa-afp.org/entries/Perfect-Number-Thm.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: