Author Info
Name
Affiliation
Papers
ZAK TONKS
University of Bath
2
Collaborators
Citations 
PageRank 
7
1
0.73
Referers 
Referees 
References 
3
0
0
Title
Citations
PageRank
Year
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).00.342020
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.10.392018