Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Gertrud Bauer"'
Autor:
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
Publikováno v:
Forum of Mathematics, Pi, Vol 5 (2017)
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
Externí odkaz:
https://doaj.org/article/0dae9a3d3e584c73a937daefc20afe3b
Autor:
Pickar, Gertrud Bauer
Publikováno v:
The German Quarterly, 1986 Jan 01. 59(1), 52-64.
Externí odkaz:
https://www.jstor.org/stable/406211
Autor:
Pickar, Gertrud Bauer
Publikováno v:
Die Unterrichtspraxis / Teaching German, 1975 Apr 01. 8(1), 28-34.
Externí odkaz:
https://www.jstor.org/stable/3529445
Autor:
Pickar, Gertrud Bauer
Publikováno v:
The German Quarterly, 1971 Jan 01. 44(1), 48-57.
Externí odkaz:
https://www.jstor.org/stable/404225
Autor:
Roland Zumkeller, Ky Khac Vu, Joseph Pleso, Tobias Nipkow, Truong Le Hoang, Truong Quang Nguyen, Sean McLaughlin, Steven Obua, Jason Rute, An Hoai Thi Ta, Mark Adams, Alexey Solovyev, Thang Tat Nguyen, Trung Nam Tran, Cezary Kaliszyk, Dat Tat Dang, John Harrison, Victor Magron, Gertrud Bauer, Diep Thi Trieu, Josef Urban, Thomas C. Hales
Publikováno v:
Forum of Mathematics. Pi, 5, 1-29
Forum of Mathematics. Pi, 5, pp. 1-29
Forum of Mathematics, Pi
Forum of Mathematics. Pi, 5, pp. 1-29
Forum of Mathematics, Pi
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a280db53ee95a279e1aa5fc6830335ea
https://hdl.handle.net/2066/176365
https://hdl.handle.net/2066/176365
Autor:
Pickar, Gertrud Bauer
Publikováno v:
The South Central Bulletin, 1969 Dec 01. 29(4), 148-150.
Externí odkaz:
https://www.jstor.org/stable/3187340
Autor:
PICKAR, GERTRUD BAUER
Publikováno v:
Colloquia Germanica, 1989 Jan 01. 22(3/4), 260-282.
Externí odkaz:
https://www.jstor.org/stable/23981138
Autor:
Pickar, Gertrud Bauer
Publikováno v:
Women in German Yearbook, 1993 Jan 01. 9, 71-90.
Externí odkaz:
https://www.jstor.org/stable/20688778
Autor:
PICKAR, GERTRUD BAUER
Publikováno v:
Modern Fiction Studies, 1978 Dec 01. 24(4), 542-549.
Externí odkaz:
https://www.jstor.org/stable/26282114
Autor:
Pickar, Gertrud Bauer
Publikováno v:
Monatshefte, 1984 Dec 01. 76(4), 409-421.
Externí odkaz:
https://www.jstor.org/stable/30157471