Polynomial Factorization

@article{Thiemann2016PolynomialF,
  title={Polynomial Factorization},
  author={Ren{\'e} Thiemann and Akihisa Yamada},
  journal={Archive of Formal Proofs},
  year={2016},
  volume={2016}
}