Related papers: Area Inside A Circle: Intuitive and Rigorous Proof…
We deal with the orbit determination problem for a class of maps of the cylinder generalizing the Chirikov standard map. The problem consists of determining the initial conditions and other parameters of an orbit from some observations. A…
Largely adopted by proof assistants, the conventional induction methods based on explicit induction schemas are non-reductive and local, at schema level. On the other hand, the implicit induction methods used by automated theorem provers…
This article proves a Pythagoras-type formula for the sides and diagonals of a polygon inscribed in a semicircle having one of the sides of the polygon as diameter.
The author has been interested in regions surrounded by real algebraic curves of degree $1$ or $2$ in the plane. The author is mainly interested in their shapes and combinatorics. This is a fundamental and natural problem in mathematics…
We consider the space of embeddings of finitely many circles that bound disks in non-positively curved surfaces. We index the connected components of this space with finite rooted trees and show that the connected components are classifying…
We discover some very general configuration results for constructing area-minimizing cones. In particular, given any closed minimal submanifold in some Euclidean sphere, every cone over the minimal product of sufficiently many copies of the…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…
The leading idea of the paper is to treat the theorem of Wigner with methods inspired by geometry. The exercise mentionned in the title has two functions: On the one hand it can serve as a pedagogical text in order to make the reader…
We lay the groundwork for a formal framework that studies scientific theories and can serve as a unified foundation for the different theories within physics. We define a scientific theory as a set of verifiable statements, assertions that…
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…
In Euclidean space, one can use the dot product to give a formula for the area of a triangle in terms of the coordinates of each vertex. Since this formula involves only addition, subtraction, and multiplication, it can be used as a…
We give a historical perspective on the role of the cyclic category in the development of cyclic theory. This involves a continuous interplay between the extension in characteristic one and in S-algebras, of the traditional development of…
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…
We are concerned with rigidity properties of steady Euler flows in two-dimensional bounded annuli. We prove that in an annulus, a steady flow with no interior stagnation point and tangential boundary conditions is a circular flow, which…
We present some fragments of a teaching experiment realized in a first grade classroom, to sow the seeds for a mathematical definition of rectangles that includes squares. Within the paradigm of semiotic mediation, we studied the emergence…
The concept of spatial coherence is usually hard to be understood the first time that it is studied. We propose here a fully intuitive geometric description that does not contain mathematical difficulties and permits to understand how a…
We study analytic surfaces in 3-dimensional Euclidean space containing two circular arcs through each point. The problem of finding such surfaces traces back to the works of Darboux from XIXth century. We reduce finding all such surfaces to…
In earlier work, Jockusch, Propp, and Shor proved a theorem describing the limiting shape of the boundary between the uniformly tiled corners of a random tiling of an Aztec diamond and the more unpredictable `temperate zone' in the interior…
We show how the circle method can be used to study rational points on a certain cubic fourfold, going beyond the square-root barrier.