Showing 1 - 2 results of 2 for search 'JASON RUTE', query time: 0.01s
Refine Results
-
1
Algorithmic randomness for Doob's martingale convergence theorem in continuous time by Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason Rute
Published 2014-12-01
Article -
2
A FORMAL PROOF OF THE KEPLER CONJECTURE by THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER
Published 2017-01-01
Article