Technical reports of the Institute of Informatics, the Institute of Mathematics, the Institute of Applied Mathematics