Mathematics of interacting QFT models