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

@book{shoup2009computational,
  title={A Computational Introduction to Number theory and Algebra},
  author={Shoup, Victor},
  year={2009},
  publisher={Cambridge university press}
}