@misc{indiciaee8d0c78011fe,
  title = {Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem},
  author = {Wenda Li and Lawrence C. Paulson},
  year = {2018},
  url = {https://arxiv.org/abs/1811.11093},
  note = {Source identifier: 1811.11093}
}