Combinatorial Oriented Maps

DOI10.4153/CJM-1979-091-3MaRDI QIDQ3855206zbMATH OpenFDO

Authors William T. Tutte

Publication date 1979

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4153/CJM-1979-091-3

zbMATH Keywords

dartsdirected edgesmap on an oriented surfacepermutations

Mathematics Subject Classification ID

Planar graphs; geometric and topological aspects of graph theory (05C10) Directed graphs (digraphs), tournaments (05C20)

Cited in

(15)

• An additivity theorem for the genus of a graph
• Combinatorial maps
• Hypermap rewriting: A combinatorial approach
• Formalizing mathematics in higher-order logic: A case study in geometric modelling
• Tests and proofs for custom data generators
• A combinatorial analog of the Jordan Curve Theorem
• Formalizing the trading theorem in Coq
• Embedding of circulant graphs and generalized Petersen graphs on projective plane
• Tests and Proofs for Enumerative Combinatorics
• 0-1 laws for maps
• Designing and proving correct a convex hull algorithm with hypermaps in Coq
• Discrete Jordan curve theorems
• On the average number of cycles in conjugacy class products
• 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: Combinatorial Oriented Maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3855206)