Related papers: Elementary Constructions of conic sections
Our understanding of the four basic concepts of Physics -- space, time, matter and force -- has undergone radical change in the course of work on unification, starting with Maxwell's unification of electricity with magnetism, all the way to…
This work studies circle-geometry methods through their application to a main theorem about circles tangent twice to a conic. The authors investigate the Sharygin point -- a point lying in the pencil of two non-intersecting circles -- and…
Perceptual geometry refers to the interdisciplinary research whose objectives focuses on study of geometry from the perspective of visual perception, and in turn, applies such geometric findings to the ecological study of vision. Perceptual…
We classify the singularities of a surface ruled by conics: they are rational double points of type $A_n$ or $D_n$. This is proved by showing that they arise from a precise series of blow-ups of a suitable surface geometrically ruled by…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
The popular view according to which Category theory provides a support for Mathematical Structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics. While structural mathematics…
Single-image 3D shape reconstruction is an important and long-standing problem in computer vision. A plethora of existing works is constantly pushing the state-of-the-art performance in the deep learning era. However, there remains a much…
The proper Euclidean geometry is considered to be metric space and described in terms of only metric and finite metric subspaces (sigma-immanent description). Constructing the geometry, one does not use topology and topological properties.…
A classical theory of Desarguesian geometry, originating with D. Hilbert in his 1899 treatise, Grundlagen der Geometrie, leads from axioms to the construction of a division ring from which coordinates may be assigned to points, and…
We give some concrete constructions of real equiangular line sets. The emphasis here is on {\em building blocks} for certain angles which are then used to build up larger equiangular line sets. We concentrate on angles greater than or equal…
We describe first steps towards a system for automated triangle constructions in absolute and hyperbolic geometry. We discuss key differences between constructions in Euclidean, absolute and hyperbolic geometry, compile a list of primitive…
Constructive arithmetic, or the Markov arithmetic MA, is obtained from intuitionistic arithmetic HA by adding the following two principles: the Markov principle M which distinguishes constructivism from intuitionism, and the so-called…
In Mathematics is common to make a mistake and therefore a false conclusion arises. In each case it is important to recognize the mistake in order to avoid a similar one in the future. Geometric figures provide decisive help in order to…
Geometric mechanics is usually studied in applied mathematics and most introductory texts are hence aimed at a mathematically minded audience. The present note tries to provide the intuition of geometric mechanics and to show the relevance…
In this paper we discuss, from a historical and philosophical point of view, a variation of the meaning of the five postulates in Euclidean Geometry and we make a short reference to D. Hilberts formalism. We examine, throughout the ages,…
Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…
A tutorial introduction to projective geometric algebra (PGA), a modern, coordinate-free framework for doing euclidean geometry. PGA features: uniform representation of points, lines, and planes; robust, parallel-safe join and meet…
The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it…
An important step in learning to use math in science is learning to see physics equations as not just calculational tools, but as ways of expressing fundamental relationships among physical quantities, of coding conceptual information, and…
A brief review of the history of the conic sections would not be complete without an exhaustively tolerable account of all the things related to the subject that can be found in the extensive work of the wise Archimedes. There is no strong…