Related papers: A Constructive Real Projective Plane
This is an attempt to present axioms for Euclidean geometry, aiming at the following goals: to work with geometric notions (thus not merely identify points with pairs of numbers, giving a special status to a particular coordinate system);…
The real projective plane has three well know isomorphic constructions: the extended euclidean plane, unit (hemi)sphere, and three dimensional vector space over the reals. In this paper we find the isomorphisms that map between these three…
We provide an up-to-date review of the recent constructive program for field theories of the vector, matrix and tensor type, focusing not on the models themselves but on the mathematical tools used.
We present a variety of geometrical and combinatorial tools that are used in the study of geometric structures on surfaces: volume, contact, symplectic, complex and almost complex structures. We start with a series of local rigidity results…
A new methodological approach for the study of topology for shapes made of arrangements of lines, planes or solids is presented. Topologies for shapes are traditionally built on the classical theory of point-sets. In this paper, topologies…
The purpose of this paper is to prove that every finite set of points that can be constructed in the Euclidean plane by using a compass and a ruler can also be constructed by using unitary match-sticks in a non-simultaneous way and…
We study complex plane projective sextic curves with simple singularities up to equisingular deformations. It is shown that two such curves are deformation equivalent if and only if the corresponding pairs are diffeomorphic. A way to…
Using symplectic topology and the Radon transform, we prove that smooth 4-dimensional projective planes are diffeomorphic to $\mathbb{CP}^2$. We define the notion of a plane curve in a smooth projective plane, show that plane curves in high…
Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by…
In classical geometry, there is no such well-known and much-studied topic as the construction of conic sections (or briefly conics) from its five points. Its importance in many applications of mechanical engineering, civil engineering and…
Computational tools in numerical algebraic geometry can be used to numerically approximate solutions to a system of polynomial equations. If the system is well-constrained (i.e., square), Newton's method is locally quadratically convergent…
In this article, we study the geometry of plane curves obtained by three sections and another section given as their sum on certain rational elliptic surfaces. We make use of Mumford representations of semi-reduced divisors in order to…
To understand the structure of an algebraic variety we often embed it in various projective spaces. This develops the notion of projective geometry which has been an invaluable tool in algebraic geometry. We develop a perfectoid analog of…
We treat the classical notion of convexity in the context of hard real analysis. Definitions of the concept are given in terms of defining functions and quadratic forms, and characterizations are provided of different concrete notions of…
We discuss an experimental approach to open problems in toric geometry: are smooth projective toric varieties (i) projectively normal and (ii) defined by degree 2 equations? We discuss the creation of lattice polytopes defining smooth toric…
This paper proves a generalization of the Butterfly Theorem, a classical Euclidean result, which is valid in the complex projective plane.
An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…
The generalized projection-tensor geometry introduced in an earlier paper is extended. A compact notation for families of projected objects is introduced and used to summarize the results of the previous paper and obtain fully projected…
The concept of number and its generalization has played a central role in the development of mathematics over many centuries and many civilizations. Noteworthy milestones in this long and arduous process were the developments of the real…
A selection of open problems in the theory of composites is presented. Particular attention is drawn to the question of whether two-dimensional, two-phase, composites with general geometries have the same set of possible effective tensors…