New version of the document describing the mathematical background of
the project.