@misc{indiciae74b4be538273,
  title = {Cyclotomy Primality Proofs and their Certificates},
  author = {Preda Mihailescu},
  year = {2007},
  url = {https://arxiv.org/abs/0709.4112},
  note = {Source identifier: 0709.4112}
}