Combinatorial Oriented Maps
From MaRDI portal
Publication:3855206
DOI10.4153/CJM-1979-091-3zbMath0422.05031MaRDI QIDQ3855206
Publication date: 1979
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
Planar graphs; geometric and topological aspects of graph theory (05C10) Directed graphs (digraphs), tournaments (05C20)
Related Items
Tests and proofs for custom data generators, Formalizing the trading theorem in Coq, An additivity theorem for the genus of a graph, An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps, Designing and proving correct a convex hull algorithm with hypermaps in Coq, Combinatorial maps, Hypermap rewriting: A combinatorial approach, Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof, Embedding of circulant graphs and generalized Petersen graphs on projective plane, 0-1 laws for maps, Discrete Jordan curve theorems, Tests and Proofs for Enumerative Combinatorics, Formalizing mathematics in higher-order logic: A case study in geometric modelling, A combinatorial analog of the Jordan Curve Theorem
