A FORMAL PROOF OF THE KEPLER CONJECTURE (Unbekannt)
Freier Zugriff
- Neue Suche nach: THOMAS HALES
- Neue Suche nach: MARK ADAMS
- Neue Suche nach: GERTRUD BAUER
- Neue Suche nach: TAT DAT DANG
- Neue Suche nach: JOHN HARRISON
- Neue Suche nach: LE TRUONG HOANG
- Neue Suche nach: CEZARY KALISZYK
- Neue Suche nach: VICTOR MAGRON
- Neue Suche nach: SEAN MCLAUGHLIN
- Neue Suche nach: TAT THANG NGUYEN
- Neue Suche nach: QUANG TRUONG NGUYEN
- Neue Suche nach: TOBIAS NIPKOW
- Neue Suche nach: STEVEN OBUA
- Neue Suche nach: JOSEPH PLESO
- Neue Suche nach: JASON RUTE
- Neue Suche nach: ALEXEY SOLOVYEV
- Neue Suche nach: THI HOAI AN TA
- Neue Suche nach: NAM TRUNG TRAN
- Neue Suche nach: THI DIEP TRIEU
- Neue Suche nach: JOSEF URBAN
- Neue Suche nach: KY VU
- Neue Suche nach: ROLAND ZUMKELLER
- Neue Suche nach: THOMAS HALES
- Neue Suche nach: MARK ADAMS
- Neue Suche nach: GERTRUD BAUER
- Neue Suche nach: TAT DAT DANG
- Neue Suche nach: JOHN HARRISON
- Neue Suche nach: LE TRUONG HOANG
- Neue Suche nach: CEZARY KALISZYK
- Neue Suche nach: VICTOR MAGRON
- Neue Suche nach: SEAN MCLAUGHLIN
- Neue Suche nach: TAT THANG NGUYEN
- Neue Suche nach: QUANG TRUONG NGUYEN
- Neue Suche nach: TOBIAS NIPKOW
- Neue Suche nach: STEVEN OBUA
- Neue Suche nach: JOSEPH PLESO
- Neue Suche nach: JASON RUTE
- Neue Suche nach: ALEXEY SOLOVYEV
- Neue Suche nach: THI HOAI AN TA
- Neue Suche nach: NAM TRUNG TRAN
- Neue Suche nach: THI DIEP TRIEU
- Neue Suche nach: JOSEF URBAN
- Neue Suche nach: KY VU
- Neue Suche nach: ROLAND ZUMKELLER
In:
Forum of Mathematics, Pi, Vol 5 (2017)
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:A FORMAL PROOF OF THE KEPLER CONJECTURE
-
Beteiligte:THOMAS HALES ( Autor:in ) / MARK ADAMS ( Autor:in ) / GERTRUD BAUER ( Autor:in ) / TAT DAT DANG ( Autor:in ) / JOHN HARRISON ( Autor:in ) / LE TRUONG HOANG ( Autor:in ) / CEZARY KALISZYK ( Autor:in ) / VICTOR MAGRON ( Autor:in ) / SEAN MCLAUGHLIN ( Autor:in ) / TAT THANG NGUYEN ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Cambridge University Press
-
Erscheinungsdatum:2017
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Unbekannt
-
Schlagwörter:
-
Datenquelle:
Metadata by DOAJ is licensed under CC BY-SA 1.0