@MISC{NAT_6.MIZ,
  AUTHOR = {Christoph Schwarzweller},
  TITLE = {Proth Numbers},
  SECTION1 = {Preliminaries},
  SECTION2 = {Congruences and Prime Numbers},
  SECTION3 = {Attribute \verb!n_greater!},
  SECTION4 = {Pocklington's Theorem Revisited},
  SECTION5 = {Euler's Criterion},
  SECTION6 = {Proth Number},
  SECTION7 = {Fermat Numbers},
  SECTION8 = {Cullen Numbers},
  DAY = {4},
  MONTH = {June},
  YEAR = {2014},
  ADDRESS1 = {WSB Gdansk, Poland},
  SUMMARY = {In this article, we introduce Proth numbers and prove
    two theorems on such numbers being prime \cite{Buchmann:1992}. We also
    give revised version of Pocklington's theorem and Legendre symbol
    and show Pepin's theorem and that the fifth Fermat number is
    not prime.}}

@ARTICLE(Buchmann:1992,
      AUTHOR  = {J. Buchmann and V. Mu\"{u}ller},
      TITLE   = {Primality Testing},
      PUBLISHER={available at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.1952},
      YEAR    = 1992)
