scientific article; zbMATH DE number 2185702

MaRDI QIDQ3024892zbMATH OpenFDO

Authors Mitsuharu Yamamoto, Masami Hagiya, Yozo Toda, Shin-ya Nishizaki

Publication date 4 July 2005

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Planar graphs; geometric and topological aspects of graph theory (05C10)

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

Cited in

(7)

• Formalizing mathematics in higher-order logic: A case study in geometric modelling
• An exercise in mathematical engineering: stating and proving Kuratowski theorem
• Simple Undirected Graphs as Formal Contexts
• On planarity of graphs in homotopy type theory
• Axiomatizability and decidability of universal theories of hereditary classes of models of finite and infinite languages
• An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
• Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof

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)