Dmitry Lyakhov Research Scientist, Applied Mathematics and Computational Science Symbolic Computation Algebraic Algorithms mathematical modelling visual computing