Event Start
Event End
Location
Abstract
In this talk I will speak about some recent theoretical advances in symbolic computation. In particular, exact computations with polynomials and differential equations will be discussed. It has wide number of applications in applied mathematics and scientific computing. Complete root isolation of algebraic systems, extraction of hidden constraints for differential equations, algorithmic linearization and identifiability of parameters are among them.
Brief Biography
Dr. Dmitry Lyakhov is currently a research scientist in the Computational Sciences Group within KAUST's Visual Computing Center working. Before, he was a postdoc in the Joint Institute for Nuclear Research in Moscow and a lecturer at the Belarusian State University. He was graduated with his Ph.D. in mathematics and with a M.Sc. in theoretical physics at the Belarusian State University. He is also an alumnus of the National Academy of Sciences of Belarus. His research comprises algebraic algorithms, mathematical modeling, symbolic computation, and theoretical aspects visual computing. He is ACM SIGSAM member and recipient of ISSAC (2017) Distinguished Paper Award.