Ohcanbohtosat - JASON RUTE

  • Čájehuvvo 1 - 3 / 3
Aiddostahte ozu
Listu   Galleriija  
  1. 1

    A metastable dominated convergence theorem Dahkki Jeremy Avigad, Edward T Dean, Jason Rute

    Almmustuhtton 2012-02-01
    Viečča ollesdeavstta
    Artigo
    Lasit oiddohiidda
    Furkejuvvon:
  2. 2

    Algorithmic randomness for Doob's martingale convergence theorem in continuous time Dahkki Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason Rute

    Almmustuhtton 2014-12-01
    Viečča ollesdeavstta
    Artigo
    Lasit oiddohiidda
    Furkejuvvon:
  3. 3

    A FORMAL PROOF OF THE KEPLER CONJECTURE Dahkki 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

    Almmustuhtton 2017-01-01
    Viečča ollesdeavstta
    Artigo
    Lasit oiddohiidda
    Furkejuvvon:

Ohcanreaiddut: