scientific article; zbMATH DE number 3338383

zbMath0213.25901MaRDI QIDQ5615284

Armel Jacques

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Planar graphs; geometric and topological aspects of graph theory (05C10)

Related Items (21)

Formalizing generalized maps in Coq ⋮ Algebraic specification and development in geometric modeling ⋮ An additivity theorem for the genus of a graph ⋮ Formal specification and proofs for the topology and classification of combinatorial surfaces ⋮ Efficient search of combinatorial maps using signatures ⋮ Designing and proving correct a convex hull algorithm with hypermaps in Coq ⋮ Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof ⋮ Frequent Submap Discovery ⋮ The topological theory of current graphs ⋮ Hypermaps versus bipartite maps ⋮ Subdivisions de surfaces et cartes généralisées de dimension 2 ⋮ Distributed combinatorial maps for parallel mesh processing ⋮ Counting rooted maps by genus. I ⋮ A Riemann-Hurwitz formula for hypermaps congruences ⋮ Enumeration des graphes planaires à l'aide des séries formelles en variables non commutatives ⋮ Sur la rationalite de certaines séries generatrices ⋮ Formalizing mathematics in higher-order logic: A case study in geometric modelling ⋮ The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings ⋮ Enumeration of planar constellations ⋮ Generating Nonisomorphic Maps without Storing Them ⋮ Homology of cellular structures allowing multi-incidence

This page was built for publication: