Pratt's Primality Certificates - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Simon Wimmer, Lars Noschinski. Pratt's Primality Certificates. Archive of Formal Proofs, 2013, 2013. [doi]

@article{WimmerN13,
  title = {Pratt's Primality Certificates},
  author = {Simon Wimmer and Lars Noschinski},
  year = {2013},
  url = {http://afp.sourceforge.net/entries/Pratt_Certificate.shtml},
  researchr = {https://researchr.org/publication/WimmerN13},
  cites = {0},
  citedby = {0},
  journal = {Archive of Formal Proofs},
  volume = {2013},
}

runs on WebDSL