Hasil Pencarian - Victor Magron

  • Menampilkan 1 - 4 hasil dari 4
Perbaiki Hasil
  1. 1
    Formal Proofs for Nonlinear Optimization

    Formal Proofs for Nonlinear Optimization oleh Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner

    Diterbitkan 2015-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Correlations constrained by composite measurements

    Correlations constrained by composite measurements oleh John H. Selby, Ana Belén Sainz, Victor Magron, Łukasz Czekaj, Michał Horodecki

    Diterbitkan 2023-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Certifying Ground-State Properties of Many-Body Systems

    Certifying Ground-State Properties of Many-Body Systems oleh Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, Victor Magron, Antonio Acín

    Diterbitkan 2024-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    A FORMAL PROOF OF THE KEPLER CONJECTURE

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

    Diterbitkan 2017-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: