Wednesday Afternoon I
- Fulvio PICCININI (INFN Pavia)
The guess'n'prove problem solving paradigm consists of two steps: first, a solution is "guessed" empirically based on inspection of special cases and/or other dirty and non-rigorous tricks. Only in the second step, a completely rigorous formal proof of the potential solution found in the first step is derived. Computer algebra provides tools for supporting both steps: the guessing part and the...
We present up to date summation technologies that assist in the task to evaluate 3-loop massive single scale Feynman integrals with operator insertation. Special emphasis is put on new evaluations that are relevant for the the computations at the LHC.