Using Dwork's theory, the authors prove a broad generalization of his famous -adic formal congruences theorem. This enables them to prove certain -adic congruen

​MATRIX is Australia’s international and residential mathematical research institute. It facilitates new collaborations and mathematical advances through in

In this paper, the author presents a new method for finding identities for hypergeoemtric series, such as the (Gauss) hypergeometric series, the generalized hyp

Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory is the type spectrum of some homo

The author constructs knot invariants categorifying the quantum knot variants for all representations of quantum groups. He shows that these invariants coincide