@inproceedings{Mahboubi06,
  author    = {Assia Mahboubi},
  title     = {Proving Formally the Implementation of an Efficient Gcd Algorithm
               for Polynomials},
  booktitle = {Proc. IJCAR'06},
  series    = {LNCS},
  volume    = {4130},
  pages     = {438--452},
  year      = {2006},
  doi       = {10.1007/11814771_37},
}

@article{Brown,
 author = {Brown, W. S.},
 title = {The Subresultant {PRS} Algorithm},
 journal = {ACM Trans. Math. Softw.},
 volume = {4},
 number = {3},
 year = {1978},
 pages = {237--249},
 doi = {10.1145/355791.355795},
} 

@article{BrownTraub,
 author = {Brown, W. S. and Traub, J. F.},
 title = {On {E}uclid's Algorithm and the Theory of Subresultants},
 journal = {Journal of the ACM},
 volume = {18},
 number = {4},
 year = {1971},
 pages = {505--514},
 doi = {10.1145/321662.321665},
} 

@inproceedings{AlgebraicNumbers,
  author    = {Ren{\'{e}} Thiemann and
               Akihisa Yamada},
  title     = {Algebraic Numbers in {I}sabelle/{HOL}},
  booktitle = {Proc. ITP'16}, 
  series    = {LNCS},
  volume    = {9807},
  pages     = {391--408},
  year      = {2016},
  doi       = {10.1007/978-3-319-43144-4_24},
}

@article{Ducos,
  author = {L. Ducos},
  title = {Optimizations of the subresultant algorithm},
  journal = {Journal of Pure and Applied Algebra},
  volume = 145,
  year = 2000,
  pages = {149--163}
}
