dblp.uni-trier.dewww.uni-trier.de

Gertrud Bauer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Tobias Nipkow [3] [4] [5]
2Paula Schultz [5]
3Markus Wenzel (Makarius Wenzel) [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)