相关论文: The Conics Generated by the Method of Application …
We classify the singular loci of real surfaces in three-space that contain two circles through each point. We characterize how a circle in such a surface meets this loci as it moves in its pencil and as such provide insight into the…
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…
Projectivizations of pointed polyhedral cones $C$ are positive geometries in the sense of Arkani-Hamed, Bai, and Lam. Their canonical forms look like $$ \Omega_C(x)=\frac{A(x)}{B(x)} dx, $$ with $A,B$ polynomials. The denominator $B(x)$ is…
In this paper we generalize the notion of helix in the three-dimensional Euclidean space, which we define as that curve $C$ for which there is an $F$-constant vector field $W$ along $C$ that forms a constant angle with a fixed direction $V$…
In many areas of applied geometric/numeric computational mathematics, including geo-mapping, computer vision, computer graphics, finite element analysis, medical imaging, geometric design, and solid modeling, one has to compute incidences,…
The 16-year old Blaise Pascal found a way to determine if 6 points lie on a conic using a straightedge. Nearly 400 years later, we develop a method that uses a straightedge to check whether 10 points lie on a plane cubic curve.
In this paper we discuss about properties of lattices and its application in theoretical and algorithmic number theory. This result of Minkowski regarding the lattices initiated the subject of Geometry of Numbers, which uses geometry to…
We consider the geometry of four spatial displacements, arranged in cyclic order, such that the relative motion between neighbouring displacements is a pure rotation. We compute the locus of points whose homologous images lie on a circle,…
Extracting shape information from object bound- aries is a well studied problem in vision, and has found tremen- dous use in applications like object recognition. Conversely, studying the space of shapes represented by curves satisfying…
We consider three methods by which one can generate new cosmological models. Two of these are based on the Lorentzian structure of spacetime. In a Lorentzian manifold there can exist horizons that separate regions of spacetime that can be…
This paper shows how a recent reformulation of the basics of classical geometry and trigonometry reveals a three-fold symmetry between Euclidean and non-Euclidean (relativistic) planar geometries. We apply this chromogeometry to look at…
Kepler's thinking is highly original and the inspiration for discovering his famous third law is based on his rather curious geometric approach in his Harmonices mundi for explaining consonances. In this article we try to use a modern…
The question that guides our discussion is "how did the geometry and particles come into being?" To explore this query we suggest the theory of goyaks, which reveals the primordial deeper structures underlying fundamantal concepts of…
We prove an existence and uniqueness theorem about spherical helicoidal (in particular, rotational) surfaces with prescribed mean or Gaussian curvature in terms of a continuous function depending on the distance to its axis. As an…
This paper is devoted to presenting a new approach to determine the intersection of two quadrics based on the detailed analysis of its projection in the plane (the so called cutcurve) allowing to perform the corresponding lifting correctly.…
Trisecting an angle has been proved to be impossible by Euclidean Geometry, using only straight edge and compass. However, there is a method using Origami (paper folding) procedure to trisect an angle. The algebraic analysis of the same…
Observing a linear superposition principle, a family of new minimal hypersurfaces in Euclidean space is found, as well as that linear combinations of generalized helicoids induce new algebraic minimal cones of arbitrarily high degree.
In classical Euclidean geometry, there are several equivalent definitions of conic sections. We show that in the hyperbolic plane, the analogues of these same definitions still make sense, but are no longer equivalent, and we discuss the…
Locales have been studied as "topologies without points", mainly by tools of category theory. While traditional topology presents a space as a set of points with specified neighborhoods, localic topology presents a space as a lattice of…
In classical differential geometry, a central question has been whether abstract surfaces with given geometric features can be realized as surfaces in Euclidean space. Inspired by the rich theory of embedded triply periodic minimal…