相关论文: A higher order Weierstrass approximation theorem -…
A proof of Sendov's conjecture is given.
We present an alternative proof of Perron's theorem, which is probabilistic in nature. It rests on the representation of the Perron eigenvector as a functional of the trajectory of an auxiliary Markov chain.
We give an elementary proof to Hasse theorem.
The purpose of this article is to present my new proof of the the construction and the convergence theorem of spectral sequences of filtered complexes, which is much shorter and cleaner than the "standard" proof.
We provide a proof of a variant of the Landau-Siegel Zeros conjecture.
This note presents a new proof of the well-known Strichartz estimates for the Schr\"odinger equation in $2+1$ dimensions, building on ideas from our recent work \cite{MO}.
In this note, we establish some new results on some special types of function algebras and also give new proofs to some existing ones
This is a research announcement of the theory of orbifold quantum cohomology.
This note offers an elementary proof of the Siegel-Walfisz theorem for primes in arithmetic progressions.
We provide new sufficient conditions under which Ryser's conjecture holds.
We prove an analytic KAM-Theorem, which is used in [1], where the differential part of KAM-theory is discussed. Related theorems on analytic KAM-theory exist in the literature (e. g., among many others, [7], [8], [13]). The aim of the…
We study strong approximation for some algebraic varieties over which are defined using norm forms over the rationals. This allows us to confirm a special case of a conjecture due to Harpaz and Wittenberg.
We present simple and direct proof to an important case of Nash-Moser-Ekeland theorem.
Approximations to the Kruskal-Katona theorem are stated and proven. These approximations are weaker than the theorem, but much easier to work with numerically.
We prove a variation of Gronwall's lemma.
We use automated theorem provers to significantly shorten a formal development in higher order set theory. The development includes many standard theorems such as the fundamental theorem of arithmetic and irrationality of square root of…
In this short note a new proof of the monotone con- vergence theorem of Lebesgue integral on \sigma-class is given.
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.
We establish a simple identity and using it we find a new proof of a result of Kloosterman.
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtained results are new proofs of the existing theorems, others…