Total Visits

Views
A modular, efficient formalisation of real algebraic numbers119

Total Visits Per Month

September 2020October 2020November 2020December 2020January 2021February 2021March 2021
A modular, efficient formalisation of real algebraic numbers3151240

File Downloads

Views
Li et al 2016 CPP 2016.pdf131

Top country views

Views
United States56
United Kingdom18
France16
Germany14
China10
Austria1
Colombia1
South Korea1
Norway1

Top cities views

Views
Ashburn32
Fairfield10
Southend6
Beijing4
Boardman4
Cambridge3
Fuzhou2
Hangzhou2
Paris2
Pittsburgh2