Amazon (United States) — United States
Physics and Astronomy · Physical Sciences
5h-index516citations8works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Advanced Mathematical Theories and Applications(4), Mathematics and Applications(3), History and Theory of Mathematics(2), History and Developments in Astronomy(2), Scientific Research and Discoveries(2)
Publications8 total
Forum of Mathematics Pi·2017· 328 citedOpen Access
arXiv (Cornell University)·2015· 53 citedOpen Access
2011· 14 cited
Discrete & Computational Geometry·2009· 98 citedOpen Access
arXiv (Cornell University)·2009Open Access
Formal global optimisation with Taylor models
2006
Lecture notes in computer science·2006· 23 cited
Logic and Computation
2005
Frequent Co-authors
Thomas Hales(5), John Harrison(5), Sean McLaughlin(5), Tobias Nipkow(5), Steven Obua(5), Mark Adams(2), Gertrud Bauer(2), Hoang Le Truong(2), Cezary Kaliszyk(2), Victor Magron(2), Joseph Pleso(2), Jason Rute(2), Alexey Solovyev(2), Josef Urban(2), Ky Vu(2), TAT DAT DANG(1), TAT THANG NGUYEN(1), QUANG TRUONG NGUYEN(1), Thi Hoai An Ta(1), Nam Trung Tran(1)