Related papers: The bridge between Desargues' and Pappus' theorems
This article presents the formal proof of correctness for a plane Delaunay triangulation algorithm. It consists in repeating a sequence of edge flippings from an initial triangulation until the Delaunay property is achieved. To describe…
We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quotients' of the theory T; next, we analyze how classical…
The overlap formulation of regulated vectorial and chiral gauge theories is reviewed. Ostensibly new constructions, based on the Ginsparg-Wilson relation are essentially just overlap with new notation. At present there exists no…
We present the theory of liquid bridges between two axisymmetric solids, sphere and plane, with prescribed contact angles in a general setup, when the solids are non-touching, touching or intersecting, We give a detailed derivation of…
Given a finite collection of two-dimensional tile types, the field of study concerned with covering the plane with tiles of these types exclusively has a long history, having enjoyed great prominence in the last six to seven decades. Much…
The present survey results from the will to reconcile two approaches to quantum probabilities: one rather physical and coming directly from quantum mechanics, the other more algebraic. The second leading idea is to provide a unified picture…
The focus of this paper is on the study of specific circle formations known as orthogonal Pappus chains and the related incidence results that involve points of tangency between the circles in the construction. These chains give rise to new…
We deal with the distribution of N points placed consecutively around the circle by a fixed angle of a. From the proof of Tony van Ravenstein, we propose a detailed proof of the Steinhaus conjecture whose result is the following: the N…
This chapter presents a state-of-the-art survey of relationships, traditionally referred to as `bridges', between interpolation properties for propositional logics -- including superintuitionistic, modal, and substructural logics -- and…
We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…
The skewer of a pair of skew lines in space is their common perpendicular. To configuration theorems of plane projective geometry involving points and lines (such as Pappus or Desargues) there correspond configuration theorems in space:…
This review provides an introduction to non-geometric backgrounds in string theory. Starting from a discussion of T-duality, geometric and non-geometric torus-fibrations are reviewed, generalised geometry and its relation to non-geometric…
In La G\'eom\'etrie, Descartes proposed a balance between geometric constructions and symbolic manipulation with the introduction of suitable ideal machines. In modern terms, that is a balance between analog and symbolic computation.…
In this Thesis we develop the geometric formulations for higher-order autonomous and non-autonomous dynamical systems, and second-order field theories. In all cases, the physical information of the system is given in terms of a Lagrangian…
Inspired by the Melan equation we propose a model for suspension bridges with two cables linked to a deck, through inextensible hangers. We write the energy of the system and we derive from variational principles two nonlinear and nonlocal…
In this paper we introduce a new technique, based on dual quaternions, for the analysis of closed linkages with revolute joints: the theory of bonds. The bond structure comprises a lot of information on closed revolute chains with a…
The concept of Lagrange structure allows one to systematically quantize the Lagrangian and non-Lagrangian dynamics within the path-integral approach. In this paper, I show that any Lagrange structure gives rise to a covariant Poisson…
In this study, Devaney's chaos conditions are revisited within the framework of descriptive proximity. The concepts of descriptive transitivity, the density of descriptive periodic objects, and descriptive sensitivity are defined. The most…
Arguably, the first bridge between vast, ancient, but disjoint domains of mathematical knowledge, - topology and number theory, - was built only during the last fifty years. This bridge is the theory of spectra in stable homotopy theory.…
This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal structures, lovely pairs, fields with Mann groups, and…