@book{MCA,
 author = {Gathen, Joachim von zur and Gerhard, J\"urgen},
 title = {Modern Computer Algebra},
 year = {2003},
 edition = {2nd},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
} 


@article{LLL,
  title = {Factoring polynomials with rational coefficients},
  author = {A. K. Lenstra and H. W. Lenstra and L. Lov{\'a}sz},
  journal = {Mathematische Annalen},
  year = {1982},
  volume = {261},
  pages = {515--534},
}

@inproceedings{ThiemannY16,
	Author = {Ren{\'e} Thiemann and Akihisa Yamada},
	Booktitle = {CPP~2016},
	Opeditor = {Jeremy Avigad and Adam Chlipala},
	Pages = {88--99},
	Publisher = {ACM},
	Title = {Formalizing {J}ordan normal forms in {I}sabelle/{HOL}},
	Year = 2016}

@inproceedings{GS_EKM,
  author    = {{\'{U}}lfar Erlingsson and
               Erich Kaltofen and
               David R. Musser},
  Opeditor    = {Erwin Engeler and
               B. F. Caviness and
               Yagati N. Lakshman},
  title     = {Generic {G}ram-{S}chmidt Orthogonalization by Exact Division},
  booktitle = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996},
  pages     = {275--282},
  publisher = {{ACM}},
  year      = {1996},
}
