project summary


Perfect Number Theorem

Title: Perfect Number Theorem
Author: Mark Ijbema (ijbema /at/ fmf /dot/ nl)
Submission date: 2009-11-22
Abstract: These theories present the mechanised proof of the Perfect Number Theorem.
  author  = {Mark Ijbema},
  title   = {Perfect Number Theorem},
  journal = {Archive of Formal Proofs},
  month   = nov,
  year    = 2009,
  note    = {\url{},
            Formal proof development},
  ISSN    = {2150-914x},
License: BSD License