Related papers: A Constructive Real Projective Plane
We provide algorithms to reconstruct rational ruled surfaces in three-dimensional projective space from the `apparent contour' of a single projection to the projective plane. We deal with the case of tangent developables and of general…
The book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Classical theorems are revisited, with a new flavour, and become…
We consider here a generalization of a well known discrete dynamical system produced by the bisection of reflection angles that are constructed recursively between two lines in the Euclidean plane. It is shown that similar properties of…
The continuity, in a suitable topology, of algebraic and geometric operations on real analytic manifolds and vector bundles is proved. This is carried out using recently arrived at seminorms for the real analytic topology. A new…
In this note, we introduce a new approach to abstract ``synthetic'' projective lines. We discuss various aspects of our approach, and compare these aspects with the classical one. A number of intriguing questions arise. Amongst these…
The paper concerns discrete versions of the three well-known results of projective differential geometry: the four vertex theorem, the six affine vertex theorem and the Ghys theorem on four zeroes of the Schwarzian derivative. We study…
The processes of constructing some graphs from others using binary operations of union with intersection (gluing) are studied. For graph classes closed with respect to gluing operations the elemental and operational bases are introduced.…
We show that a simply connected stable plane with connected lines is isomorphic to an open subplane of a classical projective plane (i.e., a plane over the real or complex numbers, the quaternions or the octonions) if it has that property…
In this text, we explore the tools that Projective Differential Geometry can provide for the asymptotic analysis of classical fields on projectively compact manifolds. We emphasise on the case of order 2-compactifications and develop, in…
We show that various classical theorems of real/complex linear incidence geometry, such as the theorems of Pappus, Desargues, M\"obius, and so on, can be interpreted as special cases of a single "master theorem" that involves an arbitrary…
Axiomatizing mathematical structures is a goal of Mathematical Logic. Axiomatizability of the theories of some structures have turned out to be quite difficult and challenging, and some remain open. However axiomatization of some…
In this Phd. thesis, a structural analysis of construction schemes is developed. The importance of this study will be justified by constructing several distinct combinatorial objects which have been of great interest in mathematics. We then…
A classic problem of the motion of a projectile thrown at an angle to the horizon is studied. Air resistance force is taken into account. The quadratic law for the resistance force is used. An analytic approach applies for the…
Euclid's reasoning is essentially constructive. Tarski's elegant and concise first-order theory of Euclidean geometry, on the other hand, is essentially non-constructive, even if we restrict attention (as we do here) to the theory with…
This work is a continuation of [1]. As in the previous article, here we will describe some interesting ideas and a lot of new theorems in plane geometry related to them.
In this paper we overview the theory of conics and roulettes in four non-Euclidean planes. We collect the literature about these classical concepts, from the eighteenth century to the present, including papers available only on arXiv. The…
We approach several themes of classical geometry of the circle and complete them with some original results, showing that not everything in traditional math is revealed, and that it still has an open character. The topics were chosen…
The purpose of this thesis is to study classical combinatorial objects, such as polytopes, polytopal complexes, and subspace arrangements, using tools that have been developed in combinatorial topology, especially those tools developed in…
Ordered pairs of proper, non-empty real projective conics can be classified modulo rigid isotopy and ambient isotopy. We characterize the classes by equations, inequations and inequalities in the coefficients of the quadratic forms defining…
The aim of these notes is to present an accessible overview of some topics in classical algebraic geometry which have applications to aspects of discrete integrable systems. Precisely, we focus on surface theory on the algebraic geometry…