Related papers: Area Inside A Circle: Intuitive and Rigorous Proof…
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…
A triangle with rational sides and rational area is called a rational triangle. In this paper we consider three problems of finding pairs of rational triangles which have a common circumradius as well as either a common perimeter or a…
A strong quantitative form of Manin's conjecture is established for a certain variety in biprojective space. The singular integral in an application of the circle method involves the third power of the integral sine function, and is…
We show that for certain triangulations of surfaces, circle packings realising the triangulation can be found by solving a system of polynomial equations. We also present a similar system of equations for unbranched circle packings. The…
Logic is the science of correct inferences and a logical system is a tool to prove assertions in a certain logic in a correct way. There are many logical systems, and many ways of formalizing them, e.g., using natural deduction or sequent…
Generalized circumcenters have been recently introduced and employed to speed up classical projection-type methods for solving feasibility problems. In this note, circumcenters are enforced in a new setting; they are proven to provide…
Black hole thermodynamics suggests that the maximum entropy that can be contained in a region of space is proportional to the area enclosing it rather than its volume. I argue that this follows naturally from loop quantum gravity and a…
Consider an analytic map of a neighborhood of 0 in a vector space to a Euclidean space. Suppose that this map takes all germs of lines passing through 0 to germs of circles. Such a map is called rounding. We introduce a natural equivalence…
A Gauss equation is proved for subspaces of Alexandrov spaces of curvature bounded above by K. That is, a subspace of extrinsic curvature less than or equal to A, defined by a cubic inequality on the difference of arc and chord, has…
One distinguishing feature of rational curves is that they have algebraic parameterizations. Arc spaces are a way of describing approximations to parameterizations of all curves in some fixed space. Playing on these descriptions, this paper…
In this paper we study the area function of polygons, where the vertices are sliding along curves. We give geometric criteria for the critical points and determine also the Hesse matrix at those points. This is the starting point for a…
This paper proposed a method to judge whether the point is inside or outside of the simple convex polygon by the intersection of the vertical line. It determined the point to an area enclosed by two straight lines, then convert the problem…
This survey is meant to provide an introduction to the fundamental theorem of linear algebra and the theories behind them. Our goal is to give a rigorous introduction to the readers with prior exposure to linear algebra. Specifically, we…
Consider a smooth map from a neighborhood of the origin in a real vector space to a neighborhood of the origin in a Euclidean space. Suppose that this map takes all germs of lines passing through the origin to germs of Euclidean circles, or…
The theorem of Greenberg-Kazhdan-Drinfeld describes the formal neighborhood of a closed arc. After giving a complete proof with examples, two possible versions for the relative case of the theorem are discussed. Each one is shown to hold…
Mathematical proofs should be paired with formal proofs, whenever feasible.
We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning, we allow also coaxioms, which are, intuitively, axioms which…
What is space computing, simulation, or understanding? Converging from several sources, this seems to be something more primitive than what is usually meant by computation, something that was along with us since antiquity (the word…
Cirquent calculus is a new proof-theoretic and semantic approach introduced by G.Japaridze for the needs of his theory of computability logic. The earlier article "From formulas to cirquents in computability logic" by Japaridze generalized…
We present an area formula for continuous mappings between metric spaces, under minimal regularity assumptions. In particular, we do not require any notion of differentiability. This is a consequence of a measure theoretic notion of…