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

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