Related papers: Modernizing Archimedes' Construction of $\pi$
Sweeping is a powerful and versatile method of designing objects. Boundary of volumes (henceforth envelope) obtained by sweeping solids have been extensively investigated in the past, though, obtaining an accurate parametrization of the…
Pyramids introduced by Gromov are generalized objects of metric spaces with Borel probability measures. We study non-trivial pyramids, where non-trivial means that they are not represented as metric measure spaces. In this paper, we…
Euclid pioneered the concept of a mathematical theory developed from axioms by a series of justified proof steps. From the outset there were critics and improvers. In this century the use of computers to check proofs for correctness sets a…
We investigate regions formed by cylinders of circles of fixed radii. We investigate graphs obtained by collapsing each level set of the functions represented by the natural projections of them to the $1$-dimensional line. Some specific…
Discretization of curves is an ancient topic. Even discretization of curves with an eye toward differential geometry is over a century old. However there is no general theory or methodology in the literature, despite the ubiquitous use of…
It is well known that among all closed bounded curves in the plane with the given perimeter, the circle encloses the maximum area. There are many proofs in the literature. In this article we have given a new proof using some ideas of Demar.
We consider the problem of estimating the perimeter of a smooth domain in the plane based on a sample from the uniform distribution over the domain. We study the performance of the estimator defined as the perimeter of the alpha-shape of…
The article introduces the concept of uniformity, which is formulated as a scheme of axioms. The connection of this concept with ordered sets is studied. The effectiveness of using axiom schemes as a convenient and short way of replacing…
Gottlob Frege ingeniously presented a purely logical definition of the concept of number. However, one can claim that his definition is, in some way, circular, as it relies on the concept of one-to-one relation. The concept of number only…
Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…
: In studies of discrete structures, functions are frequently used that express proximity, but are not metrics. We consider a class of such functions that is characterized by a normalization condition and an inequality that plays the same…
In this second part of our overview of the different metric curvatures and their various applications, we concentrate on the Ricci curvature and flow for polyhedral surfaces and higher dimensional manifolds, and we largely review our…
Cycloids are particular Petri nets for modelling processes of actions or events. They belong to the fundaments of Petri's general systems theory and have very different interpretations, ranging from Einstein's relativity theory and…
This article illustrates pedagogy through training in the handling of abstractions. Mental arithmetic is not limited to numerical calculation; one can mentally calculate primitives and simplify analytical expressions. Even if there is…
Sphericity and roundness are fundamental measures used for assessing object uniformity in 2D and 3D images. However, using their strict definition makes computation costly. As both 2D and 3D microscopy imaging datasets grow larger, there is…
The Carath\'eodory theorem on the construction of a measure is generalized by replacing the outer measure with an approximation of it and generalizing the Carath\'eodory measurability. The new theorem is applied to obtain dynamically…
This paper provides an overview of modern digital geometry and topology through mathematical principles, algorithms, and measurements. It also covers recent developments in the applications of digital geometry and topology including image…
In this article, we introduce a new type of mapping contracting perimeters of triangles in a complete metric space and present related fixed point theorem. We study the metric completeness property of the underlying space in terms of fixed…
In this article we present recent advances on interval methods for rigorous computation of Poincar\'e maps. We also discuss the impact of choice of Poincar\'e section and coordinate system on obtained bounds for computing Poincar\'e map…
The development of the trigonometric functions in introductory texts usually follows geometric constructions using right triangles or the unit circle. While these methods are satisfactory at the elementary level, advanced mathematics…