Mathematical background

(to be extended)