Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
Crossref DOI link: https://doi.org/10.1007/s10817-017-9424-6
Published Online: 2017-08-08
Published Print: 2019-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Li, Wenda http://orcid.org/0000-0002-9886-9542
Passmore, Grant Olney
Paulson, Lawrence C.
Funding for this research was provided by:
China Scholarship Council
Engineering and Physical Sciences Research Council (EP/I011005/1, EP/I010335/1)
Text and Data Mining valid from 2017-08-08
Article History
Received: 25 October 2016
Accepted: 29 July 2017
First Online: 8 August 2017