Related papers: Manifold-based Proving Methods in Projective Geome…
The master theorem, introduced by Richter-Gebert and generalized by Fomin and the first author, provides a method for proving incidence theorems of projective geometry using triangular tilings of surfaces. We investigate which incidence…
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…
After having investigated and defined the ``surface of a translation-like triangle" in each non-constant curvature Thurston geometry \cite{Cs-Sz25}, we generalize the famous Menelaus' and Ceva's theorems for translation triangles in the…
In this paper we deal with $\NIL$ geometry, which is one of the homogeneous Thurston 3-geometries. We define the "surface of a geodesic triangle" using generalized Apollonius surfaces. Moreover, we show that the "lines" on the surface of a…
We present a convergence proof of the projective integration method for a class of deterministic multi-dimensional multi-scale systems which are amenable to centre manifold theory. The error is shown to contain contributions associated with…
Linear perturbations of solutions of dynamical systems exhibit different asymptotic growth rates, which are naturally characterized by so-called covariant Lyapunov vectors (CLVs). Due to an increased interest of CLVs in applications,…
We obtain new improved spectral projection estimates on manifolds of non-positive curvature, including sharp ones for relatively large spectral windows for general tori. Our results are stronger than those in an earlier work of the first…
Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present…
We generalize the classical Ceva's and Menelaus's theorems to curvilinear triangles bounded by circular arcs. We introduce trilinear coordinates associated with such triangles and develop several geometric constructions. In particular, for…
We study quadrilaterals inscribed and circumscribed about conics. Our research is guided by experiments in software Cinderella. We extend the known results in projective geometry of conics and show how modern mathematical software brings…
Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories. Turing progressions based on $n$-provability give rise to a $\Pi_{n+1}$ proof-theoretic ordinal. As such, to each theory $U$ we can…
We apply Diophantine analysis to classify edge-to-edge tilings of the sphere by congruent almost equilateral quadrilaterals (i.e., edge combination a3b). Parallel to a complete classification by Cheung, Luk and Yan, the method implemented…
We give a precise definition of incidence theorems in plane projective geometry and introduce the notion of ``absolute incidence theorems,'' which hold over any ring. Fomin and Pylyavskyy describe how to obtain incidence theorems from…
This dissertation contains a comprehensive study of the topology of 2-manifolds and a complementary analysis of the work done by Edwin E. Moise, L. V. Ahlfors and Ian Richards. Our aim is to study the well known classification of surfaces.…
There are two main approaches to building locally flat embedded surfaces in 4-manifolds: direct methods which geometrically manipulate a given map of a surface, and more indirect methods using surgery theory. Both rely on Freedman-Quinn's…
Recently we generalized Toponogov's comparison theorem to a complete Riemannian manifold with smooth convex boundary, where a geodesic triangle was replaced by an open (geodesic) triangle standing on the boundary of the manifold, and a…
We will simplify earlier proofs of Perelman's collapsing theorem for 3-manifolds given by Shioya-Yamaguchi and Morgan-Tian. Among other things, we use Perelman's critical point theory (e.g., multiple conic singularity theory and his…
The first half of the thesis concerns Abelian vortices and Yang-Mills (YM) theory. It is proved that the 5 types of vortices recently proposed by Manton are symmetry reductions of (A)SDYM equations with suitable gauge groups and symmetry…
We argue for more widespread use of manifold-like polyfolds (M-polyfolds) as differential geometric objects. M-polyfolds possess a distinct advantage over differentiable manifolds, enabling a smooth and local change of dimension. To…
It is proved that every pseudo-self-affine tiling in R^d is mutually locally derivable with a self-affine tiling. A characterization of pseudo-self-similar tilings in terms of derived Voronoi tessellations is a corollary. Previously, these…