@misc{Scott,
author = {Melissa Scott},
title = {Factoring Polynomials over Finite Fields},
note = {\url{https://carleton.ca/math/wp-content/uploads/Factoring-Polynomials-over-Finite-Fields_Melissa-Scott.pdf}},
year = {May 2019}
}

@article{Yun,
  author  = {René Thiemann and Akihisa Yamada},
  title   = {Polynomial Factorization},
  journal = {Archive of Formal Proofs},
  month   = {January},
  year    = {2016},
  note    = {\url{https://isa-afp.org/entries/Polynomial_Factorization.html},
             Formal proof development},
  ISSN    = {2150-914x},
}

@article{Finite_Fields,
  author  = {Emin Karayel},
  title   = {Finite Fields},
  journal = {Archive of Formal Proofs},
  month   = {June},
  year    = {2022},
  note    = {\url{https://isa-afp.org/entries/Finite_Fields.html},
             Formal proof development},
  ISSN    = {2150-914x},
}

@article{Perfect_Fields,
  author  = {Manuel Eberl and Katharina Kreuzer},
  title   = {Perfect Fields},
  journal = {Archive of Formal Proofs},
  month   = {November},
  year    = {2023},
  note    = {\url{https://isa-afp.org/entries/Perfect_Fields.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
