SourceForge.net Logo
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.
BibTeX:
@article{Perfect-Number-Thm-AFP,
  author  = {Mark Ijbema},
  title   = {Perfect Number Theorem},
  journal = {Archive of Formal Proofs},
  month   = nov,
  year    = 2009,
  note    = {\url{http://afp.sf.net/entries/Perfect-Number-Thm.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
License: BSD License