Found: 4

Select item for more details and to access through your institution.

  • 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

  • Hammering towards QED.

    Published in:
    Journal of Formalized Reasoning, 2016, v. 9, n. 1, p. 101
    By:
    • Blanchette, Jasmin C.;
    • Kaliszyk, Cezary;
    • Paulson, Lawrence C.;
    • Urban, Josef
    Publication type:
    Article

  • study of continuous vector representations for theorem proving.

    Published in:
    Journal of Logic & Computation, 2021, v. 31, n. 8, p. 2057, doi. 10.1093/logcom/exab006
    By:
    • PurgaŁ, StanisŁaw;
    • Parsert, Julian;
    • Kaliszyk, Cezary
    Publication type:
    Article

  • Foreword to the Special Issue on Automated Reasoning.

    Published in:
    AI Communications, 2018, v. 31, n. 3, p. 235, doi. 10.3233/AIC-180765
    By:
    • Fontaine, Pascal;
    • Kaliszyk, Cezary;
    • Schulz, Stephan;
    • Urban, Josef;
    • Fontaine;
    • Kaliszyk;
    • Schulz;
    • Urban
    Publication type:
    Article