Search results for "hypermaps"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
204	Howard Joy Strauss	HyperMaps: telling your users where to go.	SIGUCCS	1990	DBLP DOI BibTeX RDF
82	Jean-François Dufourd	A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula.	SAC	2007	DBLP DOI BibTeX RDF	Coq system, Euler's formula, computer-aided proofs, computer-aided proofs in computational topology, genus theorem, hypermaps, formal specifications, subdivisions
57	Jean-François Dufourd	An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Computer-aided proofs, Coq system, Combinatorial hypermaps, Discrete Jordan Curve Theorem, Formal specifications, Computational topology, Planar subdivisions
56	Pascal Lienhardt	Extension of the Notion of Map and Subdivisions of a Three-Dimensional Space.	STACS	1988	DBLP DOI BibTeX RDF	hypermaps, V-maps, representation of polyhedra, Graphs, maps, computational topology
26	Andrea Lucchini, Pablo Spiga	Hypermaps Over Non-Abelian Simple Groups and Strongly Symmetric Generating Sets.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
26	Kai Yuan, Yan Wang	Classification of minimal Frobenius hypermaps.	Ars Math. Contemp.	2022	DBLP DOI BibTeX RDF
26	Christian Doczkal	A Variant of Wagner's Theorem Based on Combinatorial Hypermaps.	ITP	2021	DBLP DOI BibTeX RDF
26	Gareth Aneurin Jones	Automorphism groups of maps, hypermaps and dessins.	Art Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
26	Laura Ciobanu, Alexander Kolpakov	Free subgroups of free products and combinatorial hypermaps.	Discret. Math.	2019	DBLP DOI BibTeX RDF
26	Alain Giorgetti, Timothy R. S. Walsh	Enumeration of hypermaps of a given genus.	Ars Math. Contemp.	2018	DBLP DOI BibTeX RDF
26	Shaofei Du, Xinyuan Hu	A classification of primer hypermaps with a product of two primes number of hyperfaces.	Eur. J. Comb.	2017	DBLP DOI BibTeX RDF
26	Hirokatsu Kataoka, Soma Shirakabe, Yudai Miyashita, Akio Nakamura, Kenji Iwata, Yutaka Satoh	Semantic Change Detection with Hypermaps.	CoRR	2016	DBLP BibTeX RDF
26	Antonio Breda d'Azevedo, Maria Elisa Fernandes	Classification of the regular oriented hypermaps with prime number of hyperfaces.	Ars Math. Contemp.	2016	DBLP DOI BibTeX RDF
26	Timothy R. Walsh	Space-Efficient Generation of Nonisomorphic Maps and Hypermaps.	J. Integer Seq.	2015	DBLP BibTeX RDF
26	Antonio Breda d'Azevedo, Domenico Antonino Catalano, Rui Duarte	Regular pseudo-oriented maps and hypermaps of low genus.	Discret. Math.	2015	DBLP DOI BibTeX RDF
26	Gareth Aneurin Jones	Chiral covers of hypermaps.	Ars Math. Contemp.	2015	DBLP DOI BibTeX RDF
26	Antonio Breda d'Azevedo, Ilda Inácio Rodrigues	Bicontactual Regular Hypermaps.	SIAM J. Discret. Math.	2014	DBLP DOI BibTeX RDF
26	Wenjie Fang	A generalization of the quadrangulation relation to constellations and hypermaps.	J. Comb. Theory, Ser. A	2014	DBLP DOI BibTeX RDF
26	Jaeun Lee, Young Soo Kwon	Cayley hypergraphs and Cayley hypermaps.	Discret. Math.	2013	DBLP DOI BibTeX RDF
26	Rui Duarte	Constructions of Bipartite and Bipartite-regular Hypermaps.	Electron. J. Comb.	2012	DBLP DOI BibTeX RDF
26	Christophe Brun, Jean-François Dufourd, Nicolas Magaud	Designing and proving correct a convex hull algorithm with hypermaps in Coq.	Comput. Geom.	2012	DBLP DOI BibTeX RDF
26	Leonardo Cangelmi	A Riemann-Roch theorem for hypermaps.	Eur. J. Comb.	2012	DBLP DOI BibTeX RDF
26	Gareth A. Jones	Hypermaps and multiply quasiplatonic Riemann surfaces.	Eur. J. Comb.	2012	DBLP DOI BibTeX RDF
26	Daniel Pinto	Duality on hypermaps with symmetric or alternating monodromy group.	Ars Math. Contemp.	2012	DBLP DOI BibTeX RDF
26	Antonio Breda d'Azevedo, Maria Elisa Fernandes	Classification of primer hypermaps with a prime number of hyperfaces.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
26	Daniel Pinto	The duality index of oriented regular hypermaps.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
26	Gareth A. Jones, Daniel Pinto	Infinitely many Hypermaps of a given Type and Genus.	Electron. J. Comb.	2010	DBLP DOI BibTeX RDF
26	Alexander D. Mednykh, Roman Nedela	Enumeration of unrooted hypermaps of a given genus.	Discret. Math.	2010	DBLP DOI BibTeX RDF
26	Antonio Breda d'Azevedo	Riemann surfaces and restrictively-marked hypermaps.	Ars Math. Contemp.	2010	DBLP DOI BibTeX RDF
26	Robert Cori	Hypermaps and indecomposable permutations.	Eur. J. Comb.	2009	DBLP DOI BibTeX RDF
26	Marston D. E. Conder	Regular maps and hypermaps of Euler characteristic -1 to -200.	J. Comb. Theory, Ser. B	2009	DBLP DOI BibTeX RDF
26	Robert Cori	Indecomposable permutations, hypermaps and labeled Dyck paths.	J. Comb. Theory, Ser. A	2009	DBLP DOI BibTeX RDF
26	Jean-François Dufourd	Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps	CoRR	2008	DBLP BibTeX RDF
26	David Singerman, Jürgen Wolfart	Cayley graphs, Cori hypermaps, and dessins d'enfants.	Ars Math. Contemp.	2008	DBLP DOI BibTeX RDF
26	Martin Macaj, Jozef Sirán, Mária Ipolyiová	Injectivity radius of representations of triangle groups and planar width of regular hypermaps.	Ars Math. Contemp.	2008	DBLP DOI BibTeX RDF
26	Gareth Aneurin Jones	Exotic behaviour of infinite hypermaps.	Ars Math. Contemp.	2008	DBLP DOI BibTeX RDF
26	Jean-François Dufourd	Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps.	STACS	2008	DBLP DOI BibTeX RDF
26	Alexander D. Mednykh, Roman Nedela	Enumeration of unrooted hypermaps.	Electron. Notes Discret. Math.	2007	DBLP DOI BibTeX RDF
26	Antonio Breda d'Azevedo, Rui Duarte	Bipartite-Uniform Hypermaps on the Sphere.	Electron. J. Comb.	2007	DBLP DOI BibTeX RDF
26	Jean-François Dufourd	Design and formal proof of a new optimal image segmentation program with hypermaps.	Pattern Recognit.	2007	DBLP DOI BibTeX RDF
26	Antonio Breda d'Azevedo, Roman Nedela	Half-arc-transitive graphs and chiral hypermaps.	Eur. J. Comb.	2004	DBLP DOI BibTeX RDF
26	Steve Wilson, Antonio Breda d'Azevedo	Surfaces having no regular hypermaps.	Discret. Math.	2004	DBLP DOI BibTeX RDF
26	Didier Arquès, Anne Micheli	A generalization of the language of ukasiewicz coding rooted planar hypermaps.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
26	David B. Surowski	Liftings of automorphisms of hypermaps.	Discret. Math.	2000	DBLP DOI BibTeX RDF
26	David M. Jackson 0001, Terry I. Visentin	A Combinatorial Relationship between Eulerian Maps and Hypermaps in Orientable Surfaces.	J. Comb. Theory, Ser. A	1999	DBLP DOI BibTeX RDF
26	Agnès Voisard	Abduction and Deduction in Geologic Hypermaps.	SSD	1999	DBLP DOI BibTeX RDF
26	Agnès Voisard	Geologic Hypermaps are More Than Clickable Maps!	ACM-GIS	1998	DBLP DOI BibTeX RDF
26	Laurence Bessis	Harvey-Wiman hypermaps.	Discret. Math.	1996	DBLP DOI BibTeX RDF
26	Laurence Bessis	Fixed points of induced automorphisms of hypermaps.	Discret. Math.	1996	DBLP DOI BibTeX RDF
26	Laurence Bessis	Induced Automorphisms and P-Elliptic hypermaps.	Int. J. Algebra Comput.	1995	DBLP DOI BibTeX RDF
26	Milagros Izquierdo, David Singerman	Hypermaps on Surfaces with Boundary.	Eur. J. Comb.	1994	DBLP DOI BibTeX RDF
26	Yves Bertrand, Jean-François Dufourd	Algebraic Specification of a 3D-Modeler Based on Hypermaps.	CVGIP Graph. Model. Image Process.	1994	DBLP DOI BibTeX RDF
26	Jean-François Dufourd	Formal specification of topological subdivisions using hypermaps.	Comput. Aided Des.	1991	DBLP DOI BibTeX RDF
26	Leo Cacciari	A Riemann-Hurwitz Formula for Hypermaps Congruences.	Eur. J. Comb.	1989	DBLP DOI BibTeX RDF
26	David Corn, David Singerman	Regular Hypermaps.	Eur. J. Comb.	1988	DBLP DOI BibTeX RDF
26	Lynne D. James	Operations on Hypermaps, and Outer Automorphisms.	Eur. J. Comb.	1988	DBLP DOI BibTeX RDF
25	Patrice Ossona de Mendez, Pierre Rosenstiehl	Transitivity And Connectivity Of Permutations.	Comb.	2004	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05A19, 05C30
25	Éric Sopena	Combinatorial Hypermap Rewriting.	RTA	1987	DBLP DOI BibTeX RDF