Related papers: Modernizing Archimedes' Construction of $\pi$
The problem of advancing coordinatization of mathematics is considered. The need to develop a theory for measuring value and complexity of mathematical implications and proofs is discussed including motivations, benefits and implementation…
We consider the problem of slicing a compact metric space \Omega with sets of the form \pi_{\lambda}^{-1}\{t\}, where the mappings \pi_{\lambda} \colon \Omega \to \R, \lambda \in \R, are \emph{generalized projections}, introduced by Yuval…
In this paper we give a brief introduction to criteria for metrisability of a manifold and to some aspects of non-metrisable manifolds. Bias towards work currently being done by the author and his colleagues at the University of Auckland…
One considers geometry with the intransitive equaivalence relation. Such a geometry is a physical geometry, i.e. it is described completely by the world function, which is a half of the squared distance function. The physical geometry…
The concept of an angle is one that often causes difficulties in metrology. These are partly caused by a confusing mixture of several mathematical terms, partly by real mathematical difficulties and finally by imprecise terminology. The…
We study some properties of a triad of circles associated with a triangle. Each circle is inside the triangle, tangent to two sides of the triangle, and externally tangent to the circle on the third side as diameter. In particular, we find…
We introduce circulance, a scalar measure for classifying time series of dynamical systems. Circulance captures the extent of temporal regularity or irregularity that is encoded in the topology of a directed ordinal pattern transition…
This is an overview article. In his Habilitationsvortrag, Riemann described infinite dimensional manifolds parameterizing functions and shapes of solids. This is taken as an excuse to describe convenient calculus in infinite dimensions…
We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of ten equivalent statements} borrowed from algebra, real analysis, general topology and non-standard analysis. We also discuss…
We re-derive Thales, Pythagoras, Apollonius, Stewart, Heron, al Kashi, de Gua, Terquem, Ptolemy, Brahmagupta and Euler's theorems as well as the inscribed angle theorem, the law of sines, the circumradius, inradius and some angle bisector…
This paper presents a general method for obtaining radius of the corresponding circumference to a cyclical polygon $n$ sides given the lengths of said sides, using the notion of complex number. As of radius $r$, obtained, can then be…
The variant of calculation of functions of set and their application is offered. In particular: the new measure of system of sets generalizing classical concept of a measure is entered; the variation of set that has allowed to construct a…
In this paper, we apply the classical Perron method to give a proof of the existence and uniqueness/rigidity result of a circle pattern on a closed surface equipped with conical spherical metric when prescribed measures of the angles of…
This is a letter to the editor concerning Semjon Adlaj's article "An eloquent formula for the perimeter of an ellipse", AMS Notices 59, 8 (2012), 1094-1099.
This is an introduction to measure theory, integration and function spaces, with all the needed preliminaries included, and with some applications included as well. We first discuss some basic motivations, coming from discrete probability,…
In this paper, an efficient algorithm to find the center of the biggest circle inscribed in a given polygon is described. This work was inspired by the publication of Daniel Garcia-Castellanos & Umberto Lombardo and their algorithm used to…
In terms of the hypergeometric method, we give the extensions of two known series for $\pi$. Further, other twenty-nine summation formulas for $\pi$, $\pi^2$ and $1/\pi$ with free parameters are also derived in the same way.
In the words of the esteemed mathematician Paul Erd\"os, the mathematician's task is to \emph{prove and conjecture}. These two processes form the bedrock of all mathematical endeavours, and in the recent years, the mathematical community…
In this paper, we further develop the theory of circles of partition by introducing the notion of complex circles of partition. This work generalizes the classical framework, extending from subsets of the natural numbers as base sets to…
In this paper, we reconstruct Euclid's theory of similar triangles, as developed in Book VI of the \textit{Elements}, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, Millman…