Related papers: Another proof of M. Kontsevich formality theorem

We give a constructive proof of Carpenter's Theorem due to Kadison. Unlike the original proof our approach also yields the real case of this theorem.

In this paper we give an elementary proof for Bertrand's postulate also known as Bertrand-Chebyshev theorem.

In this article using elementary school level Geometry we observe an alternative proof of Pythagorean Theorem from Heron's Formula.

An technically interesting proof of a known theorem.

We provide a proof of a variant of the Landau-Siegel Zeros conjecture.

We give a new proof of Vassiliev's planarity criterion for framed four-valent graphs (and more generally, *-graphs), which is based on Pontryagin-Kuratowski theorem.

A new elementary proof of the prime number theorem presented recently in the framework of a scale invariant extension of the ordinary analysis is re-examined and clarified further. Both the formalism and proof are presented in a much more…

In this paper we give a complete proof of the Brumer-Stark conjecture over $\mathbf{Z}$.

We give a new proof of Lucas' Theorem in elementary number theory.

We prove a relative version of Kontsevich's formality theorem. This theorem involves a manifold M and a submanifold C and reduces to Kontsevich's theorem if C=M. It states that the DGLA of multivector fields on an infinitesimal…

We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.

This note formally defines the concept of coinductive validity of judgements, and contrasts it with inductive validity. For both notions it shows how a judgement is valid iff it has a formal proof. Finally, it defines and illustrates the…

An equivalent but useful version on the Homological Nerve Theorem is proved.

In this article we review the basics of the phasor formalism in a rigorous way, highlighting the physical motivation behind it and presenting a hyperbolic counterpart of the phasor addition formula.

We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.

In this note we present an analogue of equivariant formality in $K$-theory and show that it is equivalent to equivariant formality \emph{\`a la} Goresky-Kottwitz-MacPherson. We also apply this analogue to give alternative proofs of…

This is supplementary material to "Realizations of a special class of admittances with strictly lower complexity than canonical forms" [1], which presents the detailed proofs of some results. For more background information, refer to…

The paper gives a unified and simple proof of both theorems and Cousin's theorem.

The paper contains a new proof of the theorem by Krieger which establishes the canonicity of the future cover of a sofic shift. In addition the paper describes a method to produce new canonical covers from a given one, resulting in…

Recently we have obtained two simple proofs of Sharkovsky's theorem, one with directed graphs [7] and the other without [8]. In this note, we present yet more simple proofs of Sharkovsky's theorem.