Spherical tilings by congruent quadrangles : forbidden cases and substructures

In this article we show the non-existence of a class of spherical tilings by congruent quadrangles. We also prove several forbidden substructures for spherical tilings by congruent quadrangles. These are results that will help to complete of the classification of spherical tilings by congruent quadrangles

Types of triangle in plane Hamiltonian triangulations and applications to domination and k-walks

We investigate the minimum number t(0)(G) of faces in a Hamiltonian triangulation G so that any Hamiltonian cycle C of G has at least t(0)(G) faces that do not contain an edge of C. We prove upper and lower bounds on the maximum of these numbers for all triangulations with a fixed number of facial triangles. Such triangles play an important role when Hamiltonian cycles in triangulations with 3-cuts are constructed from smaller Hamiltonian cycles of 4-connected subgraphs. We also present results linking the number of these triangles to the length of 3-walks in a class of triangulation and to the domination number

Construction of planar 4-connected triangulations

In this article we describe a recursive structure for the class of 4-connected triangulations or - equivalently - cyclically 4-connected plane cubic graphs

Automated conjecturing III : property-relations conjectures

Discovery in mathematics is a prototypical intelligent behavior, and an early and continuing goal of artificial intelligence research. We present a heuristic for producing mathematical conjectures of a certain typical form and demonstrate its utility. Our program conjectures relations that hold between properties of objects (property-relation conjectures). These objects can be of a wide variety of types. The statements are true for all objects known to the program, and are the simplest statements which are true of all these objects. The examples here include new conjectures for the hamiltonicity of a graph, a well-studied property of graphs. While our motivation and experiments have been to produce mathematical conjectures-and to contribute to mathematical research-other kinds of interesting property-relation conjectures can be imagined, and this research may be more generally applicable to the development of intelligent machinery