The following pages link to (Q5578800):
Displayed 20 items.
- Merging in maps and in pavings (Q809631) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Posets of annular non-crossing partitions of types B and D (Q1024453) (← links)
- Indecomposable permutations, hypermaps and labeled Dyck paths (Q1040846) (← links)
- The Riemann-Hurwitz formula for the centralizer of a pair of permutations (Q1055876) (← links)
- Cubic combinatorial maps (Q1073039) (← links)
- A duality for permutations (Q1114702) (← links)
- On the automorphism group of a planar hypermap (Q1158172) (← links)
- Combinatorial maps (Q1167192) (← links)
- On the complexity of a hypermap (Q1173096) (← links)
- Hypermaps versus bipartite maps (Q1215509) (← links)
- Étude syntaxique de certains langages solutions d'équations avec opérateurs (Q1241065) (← links)
- On the orbits of the product of two permutations (Q1331933) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- A combinatorial analog of the Jordan Curve Theorem (Q1835918) (← links)
- Asymptotic normality for traces of polynomials in independent complex Wishart matrices (Q2480809) (← links)
- Counting rooted maps by genus. I (Q2549700) (← links)
- Generalized Dyck equations and multilabel trees (Q2566274) (← links)
- (Q4154737) (← links)
- Finite groups (Q5917382) (← links)