Proving of hypergeometric super-congruences with symbolic summation

We consider hypergeometric sums from the field of number theory whose evaluation is divisible by a prime number or even a power of a prime number. Proving such identities is non-trivial and only recently a semi-automatic machinery arose in the literature using the Mathematia package Sigma developed at RISC. In this bachelor thesis the key ideas of such computer assisted proofs will be elaborated and concrete problems are (re)proven with the computer.