|
Search the dblp DataBase
Gertrud Bauer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tobias Nipkow, Gertrud Bauer, Paula Schultz
Flyspeck I: Tame Graphs. [Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:21-35 [Conf]
- Tobias Nipkow, Gertrud Bauer
Towards a Verified Enumeration of All Tame Plane Graphs. [Citation Graph (0, 0)][DBLP] Mathematics, Algorithms, Proofs, 2005, pp:- [Conf]
- Gertrud Bauer, Tobias Nipkow
The 5 Colour Theorem in Isabelle/Isar. [Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:67-82 [Conf]
- Gertrud Bauer, Markus Wenzel
Calculational Reasoning Revisited (An Isabelle/Isar Experience). [Citation Graph (0, 0)][DBLP] TPHOLs, 2001, pp:75-90 [Conf]
- Gertrud Bauer, Markus Wenzel
Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). [Citation Graph (0, 0)][DBLP] TYPES, 1999, pp:61-76 [Conf]
Search in 0.002secs, Finished in 0.002secs
|