Found 11 Documents (Results 1–11)
About graph complements. (English) Zbl 1462.68228
Miscellaneous graph preliminaries. (English) Zbl 1466.68079
Reviewer: Zhizhang Shen (Plymouth)
Klein-Beltrami model. IV. (English) Zbl 1462.68223
Klein-Beltrami model. III. (English) Zbl 1462.68222
Filter Results by …
all
top 5
Author
- Coghetto, Roland (2)
- Grabowski, Adam (2)
- Koch, Sebastian (2)
- Endou, Noboru (1)
- Fujiwara, Hiroshi (1)
- Naumowicz, Adam (1)
- Wasaki, Katsumi (1)
- Watari, Hokuto (1)
- Watase, Yasushige (1)
- Yamamoto, Hiroaki (1)
Software
- Mizar (10)
- Isabelle/HOL (2)