Related papers: Summary on the proof of BAB Conjecture

This is a collection of variants of Schanuel's conjecture and the known dependencies between them. It was originally written in 2007, and made available for a time on my webpage. I have been asked by a few people to make it available again…

In this paper, we give a simple counter example to the famous Hodge conjecture.

An integral transformation relating two inequalities in Khabibullin's conjecture is found. Another proof of this conjecture for some special values of its numeric parameters is suggested.

The purpose of this article is to discuss recent advances in the growing field of phase retrieval, and to publicize open problems that we believe will be of interest to mathematicians in general, and algebraists in particular.

In this paper, we give a survey of the recent develpoments of the DDVV conjecture.

We give an elementary probabilistic proof of a binomial identity. The proof is obtained by computing the probability of a certain event in two different ways, yielding two different expressions for the same quantity.

A very simple but useful almost sure convergence theorem of probability is given.

We give some results and conjectures about recurrence relations for certain sequences of binomial sums.

We do not know whether the main result is true, the proof of theorem 2.1 contains a gap.

This paper has been withdrawn by the author, due an error in the proof of Proposion 2.13.

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck…

We prove Union-Closed sets conjecture.

We present an improved incremental selection algorithm of the selection algorithm presented in [1] and prove all the selected conjectures.

We obtain similar types of conclusions as that of Br\"{u}ck [1] for two differential polynomials which in turn radically improve and generalize several existing results. Moreover, a number of examples have been exhibited to justify the…

The paper contains an alternative proof of M. Kontsevich Formality Theorem.

We give a generalized version of the Freyd conjecture and a way to think about a possible proof. The essential point is to describe an elementary formal reduction of the question that holds in any triangulated category. There are no new…

The article provides a counterexample to a conjecture by Blocki-Zwonek.

We present a new and formal coinductive proof of confluence and normalisation of B\"ohm reduction in infinitary lambda calculus. The proof is simpler than previous proofs of this result. The technique of the proof is new, i.e., it is not…

We prove that Ma\~n\'e's conjecture, as stated in {\em Lagrangian flows: the dynamics of globally minimizing orbits}, Bol. Soc. Brasil. Mat. (N.S.) 28 (1997), no. 2, 141--153, contains another conjecture of Ma\~n\'e, stated in {\em Generic…

A more detailed derivation of the Heisenberg uncertainty principle from the certainty principle is given.