The following pages link to (Q4071773):
Displaying 50 items.
- Polynomial algorithms for open plane graph and subgraph isomorphisms (Q391207) (← links)
- Generation of various classes of trivalent graphs (Q391389) (← links)
- Asymptotics and random sampling for BCI and BCK lambda terms (Q391429) (← links)
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- A simple formula for the series of constellations and quasi-constellations with boundaries (Q405195) (← links)
- Hypermaps and multiply quasiplatonic Riemann surfaces (Q444414) (← links)
- The geometry behind Galois' final theorem (Q444418) (← links)
- Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← links)
- Structure coefficients of the Hecke algebra of \((\mathcal{S}_{2n},\mathcal{B}_n)\) (Q470965) (← links)
- Formal study of functional orbits in finite domains (Q483296) (← links)
- Efficient search of combinatorial maps using signatures (Q630606) (← links)
- Bijective enumeration of some colored permutations given by the product of two long cycles (Q658051) (← links)
- Genus expansion for real Wishart matrices (Q662881) (← links)
- Classification of the genus-1 rooted maps and associated functional relation (Q688679) (← links)
- Construction of Voronoi diagrams in the plane by using maps (Q751861) (← links)
- The orbits of the product of two permutations (Q788822) (← links)
- Merging in maps and in pavings (Q809631) (← links)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- C-groups of Suzuki type (Q887945) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Indecomposable permutations, hypermaps and labeled Dyck paths (Q1040846) (← links)
- The Riemann-Hurwitz formula for the centralizer of a pair of permutations (Q1055876) (← links)
- Une relation fonctionnelle nouvelle sur les cartes planaires pointées (Q1061742) (← links)
- Relations fonctionnelles et dénombrement des cartes pointées sur le tore. (Functional relations and the enumeration of rooted genus one maps) (Q1092921) (← links)
- Hypercartes pointées sur le tore: Décompositions et dénombrements. (Rooted genus one hypermaps on the torus: Decompositions and enumerations) (Q1094429) (← links)
- A duality for permutations (Q1114702) (← links)
- Regular hypermaps (Q1116117) (← links)
- Enumerating regular objects with a given automorphism group (Q1123265) (← links)
- Counting non-isomorphic three-connected planar maps (Q1144046) (← links)
- Combinatorial aspects of continued fractions (Q1145147) (← links)
- Enumeration d'arbres et formules d'inversion de séries formelles (Q1155056) (← links)
- On the automorphism group of a planar hypermap (Q1158172) (← links)
- Recognizable formal power series on trees (Q1164440) (← links)
- On the complexity of a hypermap (Q1173096) (← links)
- Hypermap rewriting: A combinatorial approach (Q1178702) (← links)
- Attribute grammars are useful for combinatorics (Q1194317) (← links)
- Enumeration of skew Ferrers diagrams and basic Bessel functions (Q1209643) (← links)
- Hypermaps versus bipartite maps (Q1215509) (← links)
- Étude syntaxique de certains langages solutions d'équations avec opérateurs (Q1241065) (← links)
- A bijective census of nonseparable planar maps (Q1268599) (← links)
- Combinatorial statistics on alternating permutations (Q1272898) (← links)
- Counting non-isomorphic chord diagrams (Q1275460) (← links)
- Coding the convex polyominoes and equations for the enumeration according to the area (Q1314326) (← links)
- Two combinatorial statistics on Dyck paths (Q1343781) (← links)
- Algebraic languages and polyominoes enumeration (Q1348529) (← links)
- A classic proof of a recurrence for a very classical sequence (Q1374205) (← links)
- Counting rooted maps on an orientable surface of any genus by a function of the numbers of vertices and faces (Q1569054) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- Counting rooted maps on a surface (Q1575681) (← links)
- Left ternary trees and non-separable rooted planar maps (Q1575943) (← links)
