Related papers: Proof of Andrews' conjecture on a_4\phi_3 summatio…

In a very recent work, G. E. Andrews defined the combinatorial objects which he called {\it singular overpartitions} with the goal of presenting a general theorem for overpartitions which is analogous to theorems of Rogers--Ramanujan type…

We prove a recent conjecture by Ulas on reducible polynomial substitutions.

We prove Simon's conjecture for 3-manifolds.

This is a summary of the proof of BAB conjecture. All material are taken from the two BAB paper in the reference. The aim of this summary is to help reader to understand the more technical side of the proof of BAB.

We prove Malle's conjecture for $G \times A$, with $G=S_3, S_4, S_5$ and $A$ an abelian group. This builds upon work of the fourth author, who proved this result with restrictions on the primes dividing $A$.

We prove a two-parameter family of $q$-hypergeometric congruences modulo the fourth power of a cyclotomic polynomial. Crucial ingredients in our proof are George Andrews' multiseries extension of the Watson transformation, and a…

We generalize the method of combinatorial telescoping to the case of multiple summations. We shall demonstrate this idea by giving combinatorial proofs for two identities of Andrews on parity indices of partitions.

We study decompositions of natural numbers into triangular summands. For instance, we prove that any natural number can be represented as a sum of four triangular numbers, two of them having even indices and the other two having odd…

Recently, George Andrews has given a Glaisher style proof of a finite version of Euler's partition identity. We generalise this result by giving a finite version of Glaisher's partition identity. Both the generating function and bijective…

The following is a concise exposition of the conjecture and three of its proofs for the case of positive entropy by D. Rudolph [22] , B. Host [14] and W. Parry [21]. A simpler theorem of R. Lyons [19] - preceding them - is also presented…

Extending Sellers' result, Das et al. recently proved some congruence results for generalized overcubic partitions using theta functions and posed some related conjectures. In this paper, we provide a combinatorial proof of a result in…

We collect here various conjectures on congruences made by the author in a series of papers, some of which involve binary quadratic forms and other advanced theories. Part A consists of 100 unsolved conjectures of the author while…

We show that certain terminating $_{6}\phi_5$ series can be factorized into a product of two $_{3}\phi_{2}$ series. As applications we prove a summation formula for a product of two $q$-Delannoy numbers along with some congruences for sums…

Yet another example where "physical" (i.e. only checking finitely many special cases) gives a fully rigorous proof, notwithstanding what your "Intro To Proofs" prof told you!

A short, fairly self-contained proof is given of the Poincar\'e Conjecture. In the previous version there was an error on Page 8. This gap has now been filled.

We give more evidence for Patterson's conjecture on sums of exponential sums, by getting an asymptotic for a sum of quartic exponential sums over $\Q[i].$ Previously, the strongest evidence of Patterson's conjecture over a number field is…

In this very short note, we give a counterexample to a recent conjecture of Gilmer which would have implied the union-closed conjecture.

We give a generalization and a short mechanized proof of determinant conjectured by G. Kuperberg and J. Propp. Further generalizations and applications of the method to some q-analogues may be found in http://www.math.temple.edu/~tewodros

We give a proof of a recent combinatorial conjecture due to the first author, which was discovered in the framework of commutative algebra. This result gives rise to new companions to the famous Andrews-Gordon identities. Our tools involve…

The article presents the proof of Casas-Alvero conjecture.