Works matching IS 20505086 AND DT 2017 AND VI 5

Results: 5
    1
    2

    CLE PERCOLATIONS.

    Published in:
    Forum of Mathematics, Pi, 2017, v. 5, p. 1, doi. 10.1017/fmp.2017.5
    By:
    • MILLER, JASON;
    • SHEFFIELD, SCOTT;
    • WERNER, WENDELIN
    Publication type:
    Article
    3
    4

    A FORMAL PROOF OF THE KEPLER CONJECTURE.

    Published in:
    Forum of Mathematics, Pi, 2017, v. 5, p. 1, doi. 10.1017/fmp.2017.1
    By:
    • HALES, THOMAS;
    • ADAMS, MARK;
    • BAUER, GERTRUD;
    • TAT DAT DANG;
    • HARRISON, JOHN;
    • LE TRUONG HOANG;
    • KALISZYK, CEZARY;
    • MAGRON, VICTOR;
    • MCLAUGHLIN, SEAN;
    • TAT THANG NGUYEN;
    • QUANG TRUONG NGUYEN;
    • NIPKOW, TOBIAS;
    • OBUA, STEVEN;
    • PLESO, JOSEPH;
    • RUTE, JASON;
    • SOLOVYEV, ALEXEY;
    • THI HOAI AN TA;
    • NAM TRUNG TRAN;
    • THI DIEP TRIEU;
    • URBAN, JOSEF
    Publication type:
    Article
    5