Gertrud Bauer

According to our database, Gertrud Bauer authored at least 7 papers between 1999 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A formal proof of the Kepler conjecture.

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

CoRR, 2015

2006

Flyspeck I: Tame Graphs.

Gertrud Bauer, Tobias Nipkow

Arch. Formal Proofs, 2006

Flyspeck I: Tame Graphs.

Tobias Nipkow, Gertrud Bauer, Paula Schultz

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Towards a Verified Enumeration of All Tame Plane Graphs.

Tobias Nipkow, Gertrud Bauer

Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

2002

The 5 Colour Theorem in Isabelle/Isar.

Gertrud Bauer, Tobias Nipkow

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001

Calculational Reasoning Revisited (An Isabelle/Isar Experience).

Gertrud Bauer, Markus Wenzel

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar).

Gertrud Bauer, Markus Wenzel

Proceedings of the Types for Proofs and Programs, 1999