Related papers: Summary on the proof of BAB Conjecture

This is a Seminaire Bourbaki survey of the proof of the Kakeya conjecture in three dimensions. The survey is written for a broad mathematical audience. We sketch all the ideas in the proof, with many pictures.

In this paper we show the equivalence of the conjectures of Giuga and Agoh in a direct way which leads to a combined conjecture. This conjecture is described by a sum of fractions from which all conditions can be derived easily.

The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.

We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.

The paper contains a proof of the Fontaine-Jannsen conjecture based on a crystalline version of the p-adic Poincar'e lemma (different proofs were found earlier by Faltings, Niziol and Tsuji).

New cases of the multiplicity conjecture are considered.

We announce a number of conjectures associated with and arising from a study of primes and irrationals in $\mathbb{R}$. All are supported by numerical verification to the extent possible.

The main result can be given a short and elementary proof which has been incorporated into Lemma 3.2 of arXiv:1206.5775

In this work we resolve several conjectures stated in the On-Line Encyclopedia of Integer sequences.

We introduce a new method in the attempt to prove the Jacobian conjecture. In the complex dimension 2 case, we apply this method to prove some new results related the Jacobian conjecture.

The main result of this paper, Simon's conjecture for fibered knots, was previously proven by Silver and Whitten math.GT/0405462 with essentially the same proof. This paper is therefore being withdrawn. The author would like to apologize…

We survey some old and new results on strong variants of Chang's Conjecture and related topics.

The expression for entropy sometimes appears mysterious - as it often is asserted without justification. This short manuscript contains a discussion of the underlying assumptions behind entropy as well as simple derivation of this…

We survey Kondrat'ev--Landis' conjecture, providing an up-to-date account of the main advances and describing the techniques developed. We complement the overview with references and formulations of the problem in further closely connected…

We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)

The purpose of the paper is to present an short proof of the Chuang's inequality.

We prove the validity of the strong version of the union of uniform closed balls conjecture, formulated in 2011 as [4, Conjecture 2.5], in the plane.

Conditions for Bayesian posterior robustness have been examined in recent literature. However, many of the proofs seem to be long and complicated. In this paper, we first summarize some basic lemmas that have been applied implicitly or…

In this short note we present a family of counterexamples to the King's conjecture.

This article gives a compact introduction and overview of the theory underlying the experiments described in the rest of this review.