Program
Euler International Mathematical Institute, 10 Pesochnaya nab.
|
Monday
July 12 |
||
|
14:00-19:00 |
REGISTRATION |
|
|
Tuesday July 13 |
||
|
9:00-10:00 |
REGISTRATION |
|
|
10:00-10:10 |
OPENING: Prof. Dr. Ernst W. Mayr and Prof.
Dr. Vladimir P. Gerdt |
|
|
Session 1 Chair Vladimir Gerdt |
||
|
10:10-10:35 |
Dario A. Bini, Luca Gemignani and Victor Y. Pan: Improved Initialization of the Accelerated and Robust QR-Like Polynomial Root-Finding |
|
|
10:35-11:00 |
Mark Giesbrecht, George Labahn and Wen-shin
Lee:
Symbolic-Numeric Sparse Polynomial Interpolation in Chebyshev Basis and
Trigonometric Interpolation |
|
|
11:00-11:25 |
Jean-Guillaume Dumas: Efficient Dot Product Over Word-size
Finite Fields |
|
|
|
Coffee |
|
|
11:40-12:30 |
Invite Talk: Koepf, Wolfram: Computer
Algebra Methods for Orthogonal Poynomials |
|
|
12:30-12:55 |
Tateaki Sasaki: Approximately Singular Multivariate
Polynomials |
|
|
12:55-13:20 |
Giorgio Dalzotto: An Algorithm to Factorize in a Quotient Ring |
|
|
|
Lunch |
|
|
Session 2 Chair Victor Edneral |
||
|
14:55-15:20 |
G. I. Malaschonok: Complexity
Considerations in Computer Algebra |
|
|
15:20-15:45 |
Sergei A. Klioner: Independent Components of an Indexed Object with
Linear Symmetries |
|
|
15:45-16:10 |
Andreas Seidl: Extended Real Quantifier Elimination by
Cylindrical Algebraic Decomposition to Get Answers |
|
|
|
Coffee |
|
|
16:30-16:55 |
Victor Edneral: CompHEP – System for High Energy Physics Computing |
|
|
16:55-17:20 |
Dirk Draheim, Winfried Neun and Dima Suliman: Searching and Classifying Differential
Equations on the Web |
|
|
17:20-17:55 |
Sergey Yu. Vernov: Constructions of Singlevalued
Solutions for Nonintegrable |
|
|
17:55-18:20 |
Serguey Zemskov: The Error Estimate of the Approximate
Solution of the Dirichlet Problem for Elliptical Partial Differential
Equation |
|
|
18:30 |
WELCOME
PARTY |
|
|
Wednesday
July 14 |
|
|
Session 3 Chair Ernst W. Mayr |
|
|
9:30-10:00 |
Victor
G. Ganzha, Dmytro Chibisov and Evgenii V. Vorozhtsov: Hierarchical Advancing Front
Triangulation Using Symmetry Properties |
|
10:00-10:25 |
Valentin
Irtegov and Tatyana Titorenko: On
Stability of Body's Motions in Fluid |
|
10:25-10:50 |
Kurt Frischmut and Vyacheslav G. Tsybulin: Cosymmetry Preservation and Families of Equilibria |
|
10:50-11:15 |
Carlo Cattani, Evgenii A.
Grebenikov and Alexander Prokopenya: On the Parametric Resonance in Some
Mechanical System with Damping |
|
|
Coffee |
|
11:40-12:05 |
E. A.
Grebenikov, E.V. Ikhsanov and N. I. Zemtsova: Stability Theorems of Stationary Solutions of
the Restricted Ten-body Problem for Resonance Cases |
|
12:05-12:30 |
Aleksandr
Mylläri: Stability of
Expanding Homographic Configurations |
|
12:30-13:00 |
L. D.
Pustyl'niukov, T. Lokot and R. L. Pustyl'niukov: Large Deviations in |
|
|
Lunch |
|
Session 4 Chair Volker Weispfenning |
|
|
14:30-14:55 |
Larisa A.
Burlakova and Andrey V. Banshchikov: On Stability of a Satellite |
|
14:55-15:20 |
Alexander
Gusev, Vladimir Andreev, Vladimir Derbov, Yuri Popov, Vitaly Rostovtsev and
Sergue Vinitsky:
Discrete Algorithms for Symbolic Computing |
|
15:20-15:45 |
Wolfgang
Schacht and Evgenii V. Vorozhtsov: Implementation of Roe's Method |
|
15:45-16:10 |
|
|
|
Coffee |
|
16:30-16:55 |
Oleg
Golubitsky: Gröbner Walk
for Characteristic sets of Prime Differential Ideals |
|
16:55-17:20 |
Alexey
Ovchinnikov: Computation
of Characteristic Sets of Radical Differential Ideals |
|
17:20-17:55 |
Aleksey
Kondratyev, Hans J. Stetter and Franz Winkler: Numerical |
|
17:55-18:20 |
Maki Iwami: Extension of Expansion Base Algorithm
for Multivariate Analytic Factorization |
|
Thursday July 15 |
||
|
Session 5 Chair Gerd Baumann |
||
|
9:30-10:00 |
Vladimir V. Kornyak: On the Structure of Cohomology of Hamiltonian |
|
|
10:00-10:25 |
Alexey I. Zobnin: On Testing the Membership to Differential Ideals |
|
|
10:25-10:50 |
Vladimir P. Gerdt and Denis A. Yanovich: Parallel Computation of Involutive
|
|
|
10:50-11:15 |
Volker Weispfenning: Gröbner Bases for Binomials with Parametric Exponents |
|
|
|
Coffee |
|
|
11:40-12:05 |
Thomas Sturm and Volker Weispfenning: Solving Univariate P-adic Constraints |
|
|
12:05-12:30 |
Andreas Dolzmann and Thomas Sturm: Generalized Constraint Solving over
Differential Algebras |
|
|
12:30-13:00 |
Daiju Inaba and Tateaki Sasaki: Certification of Analytic Continuation
of |
|
|
13:00-13:30 |
Olivier Ruatta, Mark Sciabica and Agnes Szanto: Over-constrained Weierstrass
Iteration and the Nearest Consistent System |
|
|
|
Lunch |
|
|
15:00 |
EXCURSION |
|
|
|
||
|
19:00 |
CONFERENCE
DINNER |
|
Friday July 16 |
|
|
Session 6 Chair Nikolay Vassiliev |
|
|
9:30-10:00 |
Gerd Baumann and Michal Mnuk: An Object Oriented Approach to
Industrial Software Development |
|
10:00-10:25 |
Jacques Calmet and
Vincent Lefevre: Toward the Integration of Numerical
Computations into the OMSCS Framework |
|
10:25-10:50 |
Thomas Bayer: STRATIFY – A SINGULAR Package for Computing
Stratifications of Compact Group Actions
|
|
10:50-11:15 |
|
|
|
Coffee |
|
11:40-12:05 |
Carlos Cid, Sean Murphy and Matthew Robshaw: Computational and Algebraic Aspects of
the Advanced Encryption Standard |
|
12:05-12:30 |
S. Yu. Slavyanov, Mihail A. Zaharenko and V. I.
Zolotarev: jSFTools -
Knowledge Based System on Special Functions: Java Version |
|
|
Lunch |
|
Session 7 Chair Evgenii Vorozhtsov |
|
|
14:30-14:55 |
Mikhail Tentyukov, M. Frank, D. Flieger, A.
Onischenko, A. Retey, H. M. Staudenmaier and J. A. M. Vermaseren: ParForm: Parallel Version of the
Symbolic Manipulation Program FORM |
|
15:00-15:25 |
Natalia Malaschonok:
Hydrodynamics on Two-dimensional Algebras |
|
19:00 |
Leaving to the boat “Kuibyshev”. |
Saturday July 17 |
|
|
Session 8 on
the boat “Kuibyshev” |
|
|
14:00-16:00 |
Business meeting |
Sunday July 18 |
|
|
Session 6 on the boat
“Kuibyshev” |
|
|
18:00-20:00 |
Round Table |
Monday July 19 |
|
|
|
|
|
8:00 |
Arrival to St. Petersburg |