| |
| 2006 | ||
|---|---|---|
| 5 | EE | Tobias Nipkow, Gertrud Bauer, Paula Schultz: Flyspeck I: Tame Graphs. IJCAR 2006: 21-35 |
| 2005 | ||
| 4 | EE | Tobias Nipkow, Gertrud Bauer: Towards a Verified Enumeration of All Tame Plane Graphs. Mathematics, Algorithms, Proofs 2005 |
| 2002 | ||
| 3 | EE | Gertrud Bauer, Tobias Nipkow: The 5 Colour Theorem in Isabelle/Isar. TPHOLs 2002: 67-82 |
| 2001 | ||
| 2 | EE | Gertrud Bauer, Markus Wenzel: Calculational Reasoning Revisited (An Isabelle/Isar Experience). TPHOLs 2001: 75-90 |
| 1999 | ||
| 1 | EE | Gertrud Bauer, Markus Wenzel: Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). TYPES 1999: 61-76 |
| 1 | Tobias Nipkow | [3] [4] [5] |
| 2 | Paula Schultz | [5] |
| 3 | Markus Wenzel (Makarius Wenzel) | [1] [2] |