Gertrud Bauer

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller
A formal proof of the Kepler conjecture. CoRR (2015)
Tobias Nipkow, Gertrud Bauer, Paula Schultz
Flyspeck I: Tame Graphs. IJCAR (2006)
Gertrud Bauer, Tobias Nipkow
Flyspeck I: Tame Graphs. Arch. Formal Proofs 2006 (2006)
Tobias Nipkow, Gertrud Bauer
Towards a Verified Enumeration of All Tame Plane Graphs. Mathematics, Algorithms, Proofs (2005)
Gertrud Bauer, Tobias Nipkow
The 5 Colour Theorem in Isabelle/Isar. TPHOLs (2002)
Gertrud Bauer, Markus Wenzel
Calculational Reasoning Revisited (An Isabelle/Isar Experience). TPHOLs (2001)
Gertrud Bauer, Markus Wenzel
Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). TYPES (1999)