Related papers: A proof of the Graham Sloane conjecture
We give a geometric proof of a conjecture of W. Fulton on the multiplicities of irreducible representations in a tensor product of irreducible representations for GL(r).
We give a proof of the Marker-Steinhorn Theorem which fills a gap in previous proofs of the result.
Arguably the simplest variation of this style of proof as we avoid reducing to the cubic case entirely.
If the sequent (Gamma entails forall x exists y A) is provable in first order constructive natural deduction, then the theory (Gamma, forall x (f (x)/y)A), where f is a new function symbol, is a conservative extension of Gamma.
A very simple but useful almost sure convergence theorem of probability is given.
A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.
In this paper, we proved the normal scalar curvature conjecture and the Bottcher-Wenzel conjecture.
We prove the Invariant Subspace Conjecture for separable Hilbert spaces.
We give a short proof of the chromatic e-positivity conjecture of Stanley for length-2 partitions.
We answer Kurepa's conjecture on the left factorials in affirmative.
We give a new proof of some cases of the Baum-Connes conjecture along the lines of a proof of the Farrell-Jones conjecture.
We prove a recent conjecture by Ulas on reducible polynomial substitutions.
A vector variational principle is proved.
The article provides a counterexample to a conjecture by Blocki-Zwonek.
We prove several extensions of the Erdos-Fuchs theorem.
We prove an improved form of an expectation of Polya and discuss several related questions
This paper presents our proof of the "strong Macdonald constant term conjecture" of P. Hanlon and B. Feigin.
In this short note, we prove Hadwiger's conjecture for strongly monotypic polytopes.
We prove existence of an invariant measure on a hypergroup.
We derive the Gallai-Edmonds Structure Theorem from Hall's Theorem.