Related papers: Georg Mohr's "Euclides Danicus" -- Preliminary Ver…

We prove a conjecture of Johann Cigler on shifted Hankel determinants.

The first results of Einstein-Maxwell equations established by Raincih in 1925 are therefore called the Raincih conditions. Later the result was rediscovered by Misner and Wheeler in 1957 and made the basis of their geometrodynamics. The…

In this short note,we correct a well-known counter example of the famous book of Dacorogna[2].

The purpose of this paper is to present a generalization of Forelli's theorem. In particular, we prove an all dimensional version of the two-dimensional theorem of Chirka of 2005.

The Euler-Mascheroni constant $\gamma=0.5772\dots\!$ is the $K=\mathbb{Q}$ example of an Euler-Kronecker constant $\gamma_K$ of a number field $K.$ In this note we consider the size of the $\gamma_q=\gamma_{K_q}$ for cyclotomic fields…

In this diploma thesis (written in German) we present a detailed proof of Bourgain's Return Times Theorem due to Bourgain, Furstenberg, Katznelson and Ornstein following their paper as well as the book by Assani. Moreover, we generalize the…

This text consists of additions to the book "Foundations of Garside Theory", EMS Tracts in Mathematics, vol. 22 (2015) -- see introduction and table of contents in arXiv:1309.0796 -- namely skipped proofs and solutions to selected…

Elementary proofs of Sylvester's, Wolstenholme's, Morley's and Lehmer's congruence theorems

This article is about the proof of the celebrated KAM theorem as sketched out in \cite{KOL} Kolmogorov's original presentation to the ICM. The proof presented here has been detailed as an effort to clarify if Kolmogorov's argument can be…

This is an English translation of Euler's 1750 paper "De numeris amicabilibus" (E152), the most substantial of his three works with this name. In it, he expounds at great length the ad hoc methods he has developed to search for pairs of…

This papper aims to present and demonstrate Clifford's version for a generalization of Miquel's theorem with the use of Euclidean geometry arguments only.

In this note, we prove a theorem covering Chartrand, Kaigars, and Lick's theorem in [Proc. Amer. Math. Soc. 32 (1972), 63-68]. As an application, we give a simpler proof of theorem proved by Mader [J. Graph Theory 65 (2010), 61-69. (Theorem…

According to the similarity theorem on the distributions of the effective prime factors and by using two-part method, Goldbach theorem and, consequently, Goldbach conjecture was proved.

We present a self-contained elementary and detailed exposition of Mertens' own proof of his theorem on the divergence of the series of the reciprocals of the primes and compare it with the modern proofs. His proof contains explicit…

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…

The original proof of Dacorogna-Moser theorem on the prescribed Jacobian PDE, $\text{det}\,\nabla\varphi=f$, can be modified in order to obtain control of support of the solutions from that of the initial data, while keeping optimal…

This paper has been withdrawn. An extended version of this work can be found in E. Cappelluti, C. Grimaldi, L. Pietronero, S. Straessler: Phys. Rev. Lett. 85, 4771 (2000) [cond-mat/0105560] and E. Cappelluti, C. Grimaldi, L. Pietronero, S.…

Isaac Newton's book 'Opticks' from the 18th century includes several hypotheses on the structure of matter. Most of the hypotheses were confirmed during the 19th and 20th centuries at the scale of atoms and molecules. Conflicts appear…

In this short note, we revisit Zeilberger's proof of the classical matrix-tree theorem and give a unified concise proof of variants of this theorem, some known and some new.

A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Delta-complexes. The Euclidean and projective interpretations of the sequents are defined…