Total Visits

Views
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL89

Total Visits Per Month

May 2020June 2020July 2020August 2020September 2020October 2020November 2020
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL1002343

File Downloads

Views
10.1007%2Fs10817-017-9424-6.pdf27
Li-Univariate.pdf1

Top country views

Views
United States28
United Kingdom22
Germany16
France11
China3
India2
Belgium1
Colombia1
South Korea1
Ukraine1

Top cities views

Views
Ashburn13
Fairfield9
Boardman4
Cambridge4
Beijing2
Brussels1
Dnepropetrovsk1
Finchley1
Hangzhou1
Oakland1