221 followers
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL https://t.co/pKrVwWjXtO
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL https://t.co/pKrVwWjXtO
"Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL. (arXiv:1506.08238v2 [cs.LO] UPDATED)" #arXiv https://t.co/loU2MohBC5
Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL. ~ W Li et als. https://t.co/eCNDoveXfH #IsabelleHOL