3rd International Conference Computer Algebra

from Monday, 17 June 2019 (00:00) to Friday, 21 June 2019 (23:00)


        : Sessions
    /     : Talks
        : Breaks
17 Jun 2019
18 Jun 2019
19 Jun 2019
20 Jun 2019
21 Jun 2019
AM
09:30
1-0 (until 09:50) ()
09:50
1-0 (until 10:00) ()
10:00
1-1 (until 11:25) ()
10:00 The Difference Ring Approach for Symbolic Summation - Carsten Schneider (Research Institute for Symbolic Computation (RISC))   ()
10:45 Geometric integrators in mechanics - the need for computer algebra tools - Vladimir Salnikov (CNRS / La Rochelle Université)   ()
11:30
1-1 (until 12:00) ()
11:30 --- Coffee break; discussions ---
10:00
2-1 (until 11:25) ()
10:00 Experience in using the Fast Automatic Differentiation to solve inverse coefficient problems - Mr Yury Evtushenko (Dorodnicyn Computing Centre, Federal Research Center "Computer Science and Control" of Russian Academy of Sciences)   ()
10:45 Inverse Zeilberger’s problem - Mr Marko Petkovšek (University of Ljubljana)   ()
11:30
2-1 (until 12:00) ()
10:00
3-1 (until 11:25) ()
10:00 Interpolating Reduced Data Based on Piecewise-Cubic Splines - Prof. Ryszard Kozera (Warsaw University of Life Sciences -SGGW)   ()
10:45 Hilbert series of noncommutative algebras and context-free languages - Dmitri Piontkovskiy (National Research University Higher School of Economics)   ()
11:30
3-1 (until 12:00) ()
11:30 --- Coffee break; discussions ---
10:00
4-1 (until 11:25) ()
10:00 An efficient algorithm for the simultaneous triangularization of a finite set of matrices - Thomas Cluzeau (University of Limoges)   ()
10:45 On Evaluation of Bessel Functions of the First Kind via Prony-like Methods - Min Wu (East China Normal University)   ()
11:30
4-1 (until 14:00) ()
11:30 --- Coffee break; discussions ---
12:00 Bifurcations of periodic solutions to Hamiltonian system with discrete symmetries - Alexander Batkhin (Keldysh Institute of Applied Mathematics of RAS)   ()
12:30 --- Lunch break ---
10:00
5-1 (until 14:30) ()
10:00 Algorithm for Calculating Interpolation Hermite Polynomials in $d$-dimensional hypercube in the Analytical Form - Dr Alexander Gusev (JINR)   ()
10:30 CAS pseudo-random numbers generators statistical test suits - Мигран Нельсонович Геворкян   ()
11:00 --- Coffee break; discussions ---
11:30 Effective Schrödinger equation for one-dimensional potential box with rapidly oscillating width - Nikolay Tretyakov (Russian Presidential Academy of National Economy and Public Administration)   ()
12:00 Symbolic-numeric implementation of the four potential method for calculating normal modes: an example of square electromagnetic waveguide with rectangular insert - Dmitriy Divakov (RUDN University)   ()
12:30 MAPLE program for calculating transition probabilities of hydrogen-like atoms in quantum mechanics with non-negative distribution function - Nikolay Tretyakov (Russian Presidential Academy of National Economy and Public Administration)   ()
13:00 --- Lunch ---
PM
12:00
1-1 (until 12:25) ()
12:00 Non-local singularities on families of periodic solutions to ODEs - Prof. Victor Varin (KIAM Moscow Russia)   ()
12:30
1-1 (until 14:00) ()
12:30 --- Lunch break ---
14:00
1-2 (until 15:25) ()
14:00 Normal form of the periodically perturbed Hamiltonian system - Alexander Bruno (Keldysh Institute of Applied Mathematics)   ()
14:45 Making Many More Matrix Multiplication Methods - Manuel Kauers   ()
15:30
1-2 (until 15:55) ()
15:30 Algebraically mimetic finite difference approximations on regular orthogonal grids oriented to solution of PDE - Prof. Vladimir Gerdt   ()
16:00
1-2 (until 16:30) ()
16:00 --- Coffee break; discussions ---
16:30
1-2 (until 17:55) ()
16:30 Linearizing differential equations: Riccati solutions as Dn-finite functions - Antonio Jiménez-Pastor (Doctoral Program Computational Mathematics (JKU))   ()
17:00 Symmetric Matrices Whose Entries Are Linear Functions - Alexandr Seliverstov (Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute))   ()
17:30 On a Provable Program for Generic Arithmetic of Fractions - Dr Sergei Meshveliani (Program systems institute of Russian Academy of sciences, Pereslavl-Zalessky)   ()
12:00
2-1 (until 12:25) ()
12:00 Laurent solutions of linear ordinary differential equations with coefficients in the form of truncated power series - Sergei Abramov Anna Ryabenko Denis Khmelnov   ()
12:30
2-1 (until 14:00) ()
12:00
3-1 (until 12:25) ()
12:00 On symbolic computation of the solution to the inverse problem of the calculus of variations - Mr Sergey Shorokhov (RUDN University)   ()
12:30
3-1 (until 14:00) ()
12:30 --- Lunch break ---
14:00
3-2 (until 14:40) ()
14:00 An additive Ore-Sato theorem on compatible rational functions - Dr Shaoshi Chen (KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences)   ()
14:45
3-2 (until 20:00) ()
14:45 Computing Primitive Idempotents in Centralizer Ring of Permutation Representation of Wreath Product - Vladimir Kornyak (Laboratory of Information Technologies, Joint Institute For Nuclear Research)   ()
15:15 Application of Computer Algebra Methods for Investigation of the Stationary Motions of the System of Two Connected Bodies Moving along a Circular Orbit - Dr Sergey Gutnik (Moscow State Institute of International Relations (MGIMO University))   ()
15:45 An operator matrix having a given space of solutions - Prof. Moulay Barkatou (XLIM UMR 7252 CNRS) Sergei Abramov   ()
16:15 Close-Packed Dimers on a Cylinder Boundary. Derivation of Generating Functions in the Maple System - Dr Sergey Perepechko (Petrozavodsk State University)   ()
16:45 Canonical representation of monomials with indices and contractions - Alexander Kryukov (M.V.Lomonosov Moscow State University)   ()
17:15 --- Discussions ---
18:00 --- Dinner (restaurant of Computing centre) ---
14:00
4-2 (until 14:40) ()
14:00 Computational aspects of irreducible polynomials - Doru Stefanescu (University of Bucharest)   ()
14:45
4-2 (until 16:40) ()
14:45 An algorithm for solving a family of diophantine equations of degree four which satisfy Runge's condition - Alexey Kytmanov (Siberian Federal University)   ()
15:15 Symbolic Computation in Studying the Dynamics of Generalized Atwood's Machine - Prof. Alexander Prokopenya (Warsaw University of Life Sciences)   ()
15:45 --- Coffee break; discussions ---
16:15 Linearizability of differential equations: theory and algorithms - Dmitry Lyakhov (King Abdullah University of Science and Technology)   ()
Your browser is out of date!

Update your browser to view this website correctly. Update my browser now

×