Related papers: A Proof of Kamp's theorem

We claim to resolve the P=?NP problem via a formal argument for P=NP.

A selfcontained proof of the KAM theorem in the Thirring model is discussed.

A proof based on the Chern-Gauss-Bonnet Theorem is given to Hopf Theorem concerning the degree of the Gauss map of a hypersurface in $\mathbb{R}^n$.

We find some extensions of the Kraft-Russell Generic Equivalence Theorem and using it we obtain a simple proof of a result of Dubouloz and Kishimoto.

We give a proof of a Martingale Representation Theorem using the methods of nonstandard analysis.

We prove a variation of Gronwall's lemma.

We present a proof of the Sturm-Hurwitz theorem, using basic calculus.

We propose a slight correction and a slight improvement on the main result contained in "A lecture on Classical KAM Theorem" by J. P{\"o}schel.

We settle in the affirmative the Graham-Sloane conjecture.

In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.

In this paper, we propose a generalization of a congruence due to Carlitz.

A simple proof for the Shannon coding theorem, using only the Markov inequality, is presented. The technique is useful for didactic purposes, since it does not require many preliminaries and the information density and mutual information…

We prove a vanishing theorem for the twisted de Rham cohomology of a compact manifold.

Following suggestions of T. H. Koornwinder, we give a new proof of Kummer's theorem involving Zeilberger's algorithm, the WZ method and asymptotic estimates. In the first section, we recall a classical proof given by L. J. Slater. The…

Proofs that a smooth morphism is flat available in the literature are long and difficult. We give a short proof of this fact.

We give a short proof of Stein's universal multiplier theorem, purely by probabilistic methods, thus avoiding any use of harmonic analysis techniques (complex interpolation or transference methods).

We prove some new results related to Tanaka's formula.

We provide a simple proof for the necessity of conditions for discriminating with minimum error between a known set of quantum states.

We prove a generalized Fej\'er's theorem for locally compact groups.

Approximations to the Kruskal-Katona theorem are stated and proven. These approximations are weaker than the theorem, but much easier to work with numerically.