The following pages link to (Q5615284):
Displaying 21 items.
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← links)
- Efficient search of combinatorial maps using signatures (Q630606) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- An additivity theorem for the genus of a graph (Q1088997) (← links)
- The topological theory of current graphs (Q1214425) (← links)
- Hypermaps versus bipartite maps (Q1215509) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings (Q1575704) (← links)
- Enumeration of planar constellations (Q1578973) (← links)
- A Riemann-Hurwitz formula for hypermaps congruences (Q1825882) (← links)
- Formalizing generalized maps in Coq (Q1882905) (← links)
- Distributed combinatorial maps for parallel mesh processing (Q2287496) (← links)
- Homology of cellular structures allowing multi-incidence (Q2354674) (← links)
- Counting rooted maps by genus. I (Q2549700) (← links)
- Enumeration des graphes planaires à l'aide des séries formelles en variables non commutatives (Q2555869) (← links)
- Sur la rationalite de certaines séries generatrices (Q2558231) (← links)
- Frequent Submap Discovery (Q3011873) (← links)
- Subdivisions de surfaces et cartes généralisées de dimension 2 (Q3361925) (← links)
- Generating Nonisomorphic Maps without Storing Them (Q3671198) (← links)
- Algebraic specification and development in geometric modeling (Q5044726) (← links)
