A FORMAL PROOF OF THE KEPLER CONJECTURE von HALES, THOMAS, ADAMS, MARK, BAUER, GERTRUD, DANG, TAT DAT, HARRISON, JOHN, HOANG, LE TRUONG, KALISZYK, CEZARY, MAGRON, VICTOR, MCLAUGHLIN, SEAN, NGUYEN, TAT THANG, NGUYEN, QUANG TRUONG, NIPKOW, TOBIAS, OBUA, STEVEN, PLESO, JOSEPH, RUTE, JASON, SOLOVYEV, ALEXEY, TA, THI HOAI AN, TRAN, NAM TRUNG, TRIEU, THI DIEP, URBAN, JOSEF, VU, KY, ZUMKELLER, ROLAND

Volltext

Flyspeck I: Tame Graphs von Nipkow, Tobias, Bauer, Gertrud, Schultz, Paula

Volltext

Synthetische Definitionsversuche : ein Beitrag zur Frage der Erziehbarkeit von Intelligenzleistungen von Bauer, Gertrud, 1892

Volltext bestellen

Calculational Reasoning Revisited An Isabelle/Isar Experience von Bauer, Gertrud, Wenzel, Markus

Volltext

Computer-Assisted Mathematics at Work: The Hahn-Banach Theorem in Isabelle/Isar von Bauer, Gertrud, Wenzel, Markus

Volltext

The Battering and Meta-Battering of Droste's Margreth: Covert Misogyny in Die Judenbuche's Critical Reception von Pickar, Gertrud Bauer

Volltext

The 5 Colour Theorem in Isabelle/Isar von Bauer, Gertrud, Nipkow, Tobias

Volltext

"Perdu" Reclaimed: A Reappraisal of Droste's Comedy von Pickar, Gertrud Bauer

Volltext

Hades Revisited: Max Frisch's Triptychon von Pickar, Gertrud Bauer

Volltext

Intentional Ambiguity in Günter Grass' "Katz und Maus" von Pickar, Gertrud Bauer

Volltext

Weiterbildungsberatung von Bauer, Gertrud

Volltext

A formal proof of the Kepler conjecture von Hales, Thomas, Adams, Mark, Bauer, Gertrud, Dang, Dat Tat, Harrison, John, Hoang, Truong Le, Kaliszyk, Cezary, Magron, Victor, McLaughlin, Sean, Nguyen, Thang Tat, Nguyen, Truong Quang, Nipkow, Tobias, Obua, Steven, Pleso, Joseph, Rute, Jason, Solovyev, Alexey, Ta, An Hoai Thi, Tran, Trung Nam, Trieu, Diep Thi, Urban, Josef, Vu, Ky Khac, Zumkeller, Roland

Volltext bestellen

The Battering and Meta-Battering of Droste's Margreth: Covert Misogyny in "Die Judenbuche's" Critical Reception von Pickar, Gertrud Bauer

Volltext

The Battering and Meta-Battering of Droste's Margreth: Covert Misogyny in Die Judenbuche's Critical Reception von Pickar, Gertrud Bauer

Volltext

PLENZDORF'S "DIE NEUEN LEIDEN DES JUNGEN W".: THE INTERACTION OF PORTRAYAL AND SOCIAL CRITICISM von PICKAR, GERTRUD BAUER

Volltext

A Process for Covering Iron and Steel Articles with a Rust Proof Coating von GERTRUD BAUER

Volltext bestellen

Günter Grass' Örtlich Betäubt: The Fiction of Fact and Fantasy von Pickar, Gertrud Bauer

Volltext

Kafka's "Vor dem Gesetz": The Case for an Integrated Approach von Pickar, Gertrud Bauer

Volltext

Max Frisch's Biografie: Image as "Life-Script" von Pickar, Gertrud Bauer

Volltext

A formal proof of the Kepler conjecture von Hales, Thomas, Adams, Mark, Bauer, Gertrud, Dang, Dat Tat, Harrison, John, Truong Le Hoang, Kaliszyk, Cezary, Magron, Victor, McLaughlin, Sean, Nguyen, Thang Tat, Nguyen, Truong Quang, Nipkow, Tobias, Obua, Steven, Pleso, Joseph, Rute, Jason, Solovyev, Alexey, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Urban, Josef, Vu, Ky Khac, Zumkeller, Roland

Volltext