@article{eigenwillig2008real,
  title={Real root isolation for exact and approximate polynomials using Descartes' rule of signs},
  author={Eigenwillig, Arno},
  year={2008}
}

@inproceedings{li2019counting,
  title={Counting polynomial roots in Isabelle/HOL: a formal proof of the Budan--Fourier theorem},
  author={Li, Wenda and Paulson, Lawrence C},
  booktitle={Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs},
  pages={52--64},
  year={2019}
}

@article{zsido2014theorem,
  title={Theorem of three circles in Coq},
  author={Zsid{\'o}, Julianna},
  journal={Journal of automated reasoning},
  volume={53},
  number={2},
  pages={105--127},
  year={2014},
  publisher={Springer}
}

@book{Basu:2016bo,
	author = {Basu, Saugata and Pollack, Richard and Roy, Marie-Franco̧ise},
	title = {{Algorithms in Real Algebraic Geometry}},
	publisher = {Springer Berlin Heidelberg},
	year = {2016},
	volume = {10},
	series = {Algorithms and Computation in Mathematics},
	address = {Berlin, Heidelberg}
}








