Perfect Number Theorem

Mark Ijbema 📧

November 22, 2009

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: