Related papers: The cycloid as brachistochrone: A one-page proof, …
A Delaunay cell decomposition of a surface with constant curvature gives rise to a circle pattern, consisting of the circles which are circumscribed to the facets. We treat the problem whether there exists a Delaunay cell decomposition for…
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here, we further explore this system, considering a classical…
The Bertrand's theorem can be formulated as the solution of an inverse problem for a classical unidimensional motion. We show that the solutions of these problems, if restricted to a given class, can be obtained by solving a numerical…
The Kontsevich-Soibelman solution of the cyclic version of Deligne's conjecture and the formality of the operad of little discs on a cylinder provide us with a natural homotopy calculus structure on the pair (C^*(A), C_*(A)) ``Hochschild…
This is a collection of definitions, notations and proofs for the Bernoulli numbers $B_n$ appearing in formulas for the sum of integer powers, some of which can be found scattered in the large related historical literature in French,…
This paper shows how a recent reformulation of the basics of classical geometry and trigonometry reveals a three-fold symmetry between Euclidean and non-Euclidean (relativistic) planar geometries. We apply this chromogeometry to look at…
We provide the first (non-labelled) sequent calculi for bimodal provability logics with "usual" provability predicates. In particular, we introduce calculi for the logics CS, CSM and ER. Additionally, we present non-wellfounded versions of…
In this paper, the concept of cyclic subsets in graph theory is introduced. An interesting theorem which relates to the collective Hamiltonicity of these cyclic subsets in graphs is also presented. This paper uses this theorem to construct…
In this paper we have given an algorithmic proof of an long standing Barnette's conjecture (1969) that every 3-connected bipartite cubic planar graph is hamiltonian. Our method is quite different than the known approaches and it rely on the…
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we will show how various…
We clarify and extend insights from Lavrentiev's seminal paper. We examine the original theorem dealing with the absence of the Lavrentiev phenomenon, a cornerstone issue in the calculus of variations. We point out some inconsistencies in…
This is an elementary geometrical proof of Birkhoff theorem. It is hardly important, but the pictures behind are quite nice.
We conjecture that the structure of Bernoulli numbers can be explicitly given in the closed form $$ B_n = (-1)^{\frac{n}{2}-1} \prod_{p-1 \nmid n} |n|_p^{-1} \prod\limits_{(p,l)\in\Psi^{\rm irr}_1 \atop n \equiv l \mods{p-1}} |p…
In this paper, we give some recurrence formula and new and interesting identities for the poly-Bernoulli numbers and polynomials which are derived from umbral calculus.
We construct a general relativistic analogy of an infinite solenoid, i.e., of an infinite cylinder with zero electric charge and non-zero electric current in the direction tangential to the cylinder and perpendicular to its axis. We further…
Time-dependent Schroedinger equation represents the basis of any quantum-theoretical approach. The question concerning its proper content in comparison to the classical physics has not been, however, fully answered until now. It will be…
We enrich the Lambek calculus with the cyclic shift operation, which is expected to model the closure operator of formal languages with respect to cyclic shifts. We introduce a Gentzen-style calculus and prove cut elimination. Secondly, we…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
In his talk "Integral Apollonian disk Packings" Peter Sarnak asked if there is a "proof from the Book" of the Descartes theorem on circles. A candidate for such a proof is presented in this note
This paper discusses a central theorem in birational geometry first proved by Eugenio Bertini in 1891. J.L. Coolidge described the main ideas behind Bertini's proof, but he attributed the theorem to Clebsch. He did so owing to a short note…