Document Preview Unavailable

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL

Li, Wenda; Grant Olney Passmore; Paulson, Lawrence C.  arXiv.org, Apr 10, 2018.

You might have access to this document