scientific article; zbMATH DE number 2185702
From MaRDI portal
Publication:3024892
zbMATH Open1063.68661MaRDI QIDQ3024892FDOQ3024892
Authors: Mitsuharu Yamamoto, Masami Hagiya, Yozo Toda, Shin-ya Nishizaki 
Publication date: 4 July 2005
Title of this publication is not available (Why is that?)
Recommendations
- Representations of Planar Graphs
- scientific article; zbMATH DE number 475620
- Planar graphs: Theory and algorithms
- scientific article; zbMATH DE number 1099607
- scientific article; zbMATH DE number 4154462
- Computing planarity in computable planar graphs
- PLANAR GRAPHS AND RELATED TOPICS
- An algebraic characterization of planar graphs
- scientific article; zbMATH DE number 3978423
Planar graphs; geometric and topological aspects of graph theory (05C10) Mechanization of proofs and logical operations (03B35)
Cited In (6)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
- An exercise in mathematical engineering: stating and proving Kuratowski theorem
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
- Formalizing mathematics in higher-order logic: A case study in geometric modelling
- On planarity of graphs in homotopy type theory
- Simple Undirected Graphs as Formal Contexts
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3024892)
