@article{Algebraic_Numbers-AFP,
  author  = {René Thiemann and Akihisa Yamada and Sebastiaan Joosten},
  title   = {Algebraic Numbers in {I}sabelle/{HOL}},
  journal = {Archive of Formal Proofs},
  month   = dec,
  year    = 2015,
  note    = {\url{https://isa-afp.org/entries/Algebraic_Numbers.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{Algebraic_Numbers,
  author    = {Sebastiaan J. C. Joosten and
               Ren{\'{e}} Thiemann and
               Akihisa Yamada},
  title     = {A Verified Implementation of Algebraic Numbers in {I}sabelle/{HOL}},
  journal   = {J. Autom. Reason.},
  volume    = {64},
  number    = {3},
  pages     = {363--389},
  year      = {2020}
}

@article{jsc,
  title = {Computing in the Field of Complex Algebraic Numbers},
  author = {Adam Wojciech Strzebo\'nski},
  year = 1997,
  volume = 24,
  pages = {647-656},
  journal = {J.\ Symbolic Computation},
}

@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},
} 

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