TY - RPRT TI - Certifying Irreducibility in Z[x] AU - John Abbott PY - 2020 UR - https://arxiv.org/abs/2005.04633 ID - 2005.04633 ER -