@misc{indiciaeab1ccfa71fd2,
  title = {Certifying Irreducibility in Z[x]},
  author = {John Abbott},
  year = {2020},
  url = {https://arxiv.org/abs/2005.04633},
  note = {Source identifier: 2005.04633}
}