Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL

Overview of attention for article published in Journal of Automated Reasoning, August 2017

Altmetric Badge

Mentioned by

twitter: 3 X users

Citations

dimensions_citation: 13 Dimensions

Readers on

mendeley: 4 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 3 X posts from 3 X users, with an upper bound of 4,396 followers.

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL https://t.co/pKrVwWjXtO

12 Apr 2018

Reply Repost Favourite

"Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL. (arXiv:1506.08238v2 [cs.LO] UPDATED)" #arXiv https://t.co/loU2MohBC5

12 Apr 2018

Reply Repost Favourite

Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL. ~ W Li et als. https://t.co/eCNDoveXfH #IsabelleHOL

15 Aug 2017

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.