Program of the conference
The program of the conference is in these files pdf
You can download the book of abstracts here
Please contact the organizers if you see some collisions with your schedule.
April 18
10.00—11.00 |
Registration, coffee |
11.00—11.10 |
Opening the conference |
11.10—12.00 |
Vladimir V. Kornyak Emergence of quantum structures in permutation dynamics
abstract
|
12.00—12.40 |
Nikolai V. Proskurin Short history of the field of characteristic 1
abstract
|
12.40—13.30 |
Gaiane Panina Oriented area is a perfect Morse function
abstract
|
13.30—15.00 |
Lunch |
15.00—15.40 |
Alexander Tiskin Efficient parallel string comparison
abstract
|
15.40—16.10 |
Sergei D. Meshveliani Provable programming of algebra: particular points, examples
abstract
|
16.10—16.40 |
Coffee break |
16.40—17.25 |
Maxim Karev Universal finite-type invariant of plane curves
abstract
|
17.25—18.00 |
Alexander Batkhin Parametric Representation of the Resonance Set of Polynomial
abstract
|
18.30 |
WELCOME PARTY |
April 19
10.00—10.50 |
Mark Spivakovsky John Nash's contributions to algebraic geometry
abstract
|
11.00—11.30 |
Coffee break |
11.30—12.20 |
V.Gerdt, A.Khvedelidze and Yu. Palii On the ring of local unitary invariants for mixed X-states of two qubits
abstract
|
12.20—12.50 |
A. Khvedelidze and A.Torosyan On the separability of 2-qubit X-states
abstract
|
13.00—15.00 |
Lunch |
15.00—15.30 |
Alexandr V. Seliverstov On Cubic Hypersurfaces with Involutions
abstract
|
15.30—16.00 |
Alexei Yu. Uteshev and Ivan Baravy Hankel polynomials in the interpolation problems
abstract
|
16.00—16.30 |
Coffee break |
16.30—17.00 |
Sergey Baranov Software Simulation as a Means to Estimate Feasibility of Real-Time Software Applications
abstract
|
17.00—17.30 |
Andrei Malyutin Coloring triangulated surfaces
abstract
|
17.30—18.00 |
Fedor Petrov Divided Symmetrization of Polynomials
abstract
|
April 20
10.00—10.50 |
Dima Grigoriev Tropical Differential Equations
abstract
|
10.50—11.20 |
Coffee break |
11.20—12.00 |
Nikita Gogin and Mika Hirvensalo On the Generating Function of Discrete Chebyshev Polynomials
abstract
|
12.00—12.45 |
Stesik O.L. and Slavyanov S.Yu. Maple package generating Painleve equations
abstract
|
12.45—13.15 |
Ilya Krepkiy Construction of automorphisms of 3-ary necklaces
abstract
|
13.00—15.00 |
Lunch |
15.00—15.45 |
Semjon Adlaj Dzhanibekov's flipping nut and Feynman's wobbling plate
abstract
|
15.45—16.15 |
Mikhail D. Malykh On M.N. Lagutinski method for integration of ordinary differential equations
abstract
|
16.15—16.40 |
Slavyanov S.Yu., Satco D.A. Generation and annihilation of apparent singularities
abstract
|
16.40—17.10 |
Coffee break |
17.10—17.40 |
Yu. A. Blinkov, V.P. Gerdt and A. V. Mesyanzhin Generation of finitedifference approximations to differential systems by using the package SymPy
|
17.40—18.10 |
P. V. Fokin and Yu. A. Blinkov SymPy-ready algorithm for solving SAT problems using algebraic approach and ZDDss
abstract
|
18.30 |
Chamber music Concert. Euler Institute |
April 21
10.00—10.40 |
Alexander L. Chistov Extension of the Newton--Puiseux algorithm to the case of a nonzero characteristic ground field
abstract
|
10.40—11.30 |
Nikolai Vavilov Bhargava higher composition laws, exceptional groups, and computer algebra
abstract
|
11.30—11.50 |
Coffee break |
11.50—12.30 |
Dmitry Pavlov and Nikolay Vassilyev On the computational complexity of the three-body initial value problem
abstract
|
12.30—13.00 |
Yu. A. Blinkov, V.P. Gerdt and K. B. Marinov Computer algebra aided generation of difference approximations to quasilinear evolution equations
abstract
|
12.30—14.00 |
Lunch |
Bus Excursion around St.Petersburg and visit to Peter and Paul Fortress.
The bus will start from the Andersen hotel at 14:30 |
April 22
10.00—10.40 |
David Jeffrey Integration of rational polynomial expressions in Rubi
abstract
|
10.40—11.10 |
Vasily Duzhin and Nikolay Vassilyev Growth and oscillations of normalized dimensions of standard and strict Young diagrams
abstract
|
11.10—11.40 |
Coffee break |
11.40—12.20 |
Mikhail V. Babich Birational coordinates on nilpotent coadjoint orbits of SO(N,C)
abstract
|
12.10—12.40 |
Ilia Posov Mathematical tasks with verifiable parametrized answers
abstract
|
12.40—13.00 |
Sergei Pozdniakov and Vasiliy Akimushkin Tools for supporting of competitions and Olympiads
abstract
|
13.00—15.00 |
Lunch |
15.30—15.55 |
Victor Edneral On the Application of Modular Arithmetic for Cumbersome Computational Tasks
abstract
|
16.00—17.00 |
Round table Discussion Closing of the Conference, coffee |