@misc{indiciaeb9d39f97ac8a,
  title = {Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL},
  author = {Wenda Li and Grant Olney Passmore and Lawrence C. Paulson},
  year = {2018},
  doi = {10.1007/s10817-017-9424-6},
  url = {https://arxiv.org/abs/1506.08238},
  note = {Source identifier: 1506.08238}
}