Preliminary version
A version of July 2, 2004.
See http://www.pdmi.ras.ru/EIMI/2004/CASC/= for a may be more precise version.
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. Session 1 Chair
Vladimir Gerdt |
|
10::10-10:35 |
Improved
Initialization of the Accelerated and Robust QR-Like Polynomial Root-Finding Dario
A. Bini, Luca Gemignani and Victor Y. Pan
|
|
10:35-11:00 |
Symbolic-Numeric
Sparse Polynomial Interpolation in Chebyshev Basis and Trigonometric
Interpolation Mark Giesbrecht, George Labahn and Wen-shin
Lee |
|
11:00-11:25 |
Efficient
Dot Product Over Word-size Finite Fields Jean-Guillaume Dumas |
|
Coffee |
|
|
11:40-12:30 |
Invite Talk
:Computer Algebra Methods for Orthogonal Poynomials Koepf, Wolfram |
|
12:30-12:55 |
Approximately
Singular Multivariate Polynomials Tateaki
Sasaki |
|
12:55-13:20 |
Measures
with Finite Energy An
Algorithm to Factorize in a Quotient Ring Giorgio Dalzotto |
|
Lunch Session 2 Chair Victor Edneral |
|
|
14:30-14:55 |
Newton
Polyhedrons and Estimates for Fourier Transform of Isroil
Ikromov and Akhmadjon Soleev |
|
14:55-15:20 |
Complexity Considerations in Computer Algebra G. I. Malaschonok |
|
15:20-15:45 |
Independent
Components of an Indexed Object with Linear Symmetries Sergei A. Klioner |
|
15:45-16:10 |
Extended
Real Quantifier Elimination by Cylindrical Algebraic Decomposition to Get
Answers Andreas Seidl |
|
Coffee |
|
|
16:30-16:55 |
An
Implicit Differential Equation with MAPLE and IRONDEL Francoise Richard-Jung |
|
16:55-17:20 |
Searching
and Classifying Differential Equations on the Web Dirk Draheim, Winfried Neun and Dima Suliman |
|
17:20-17:55 |
Constructions
of Singlevalued Solutions for Nonintegrable Systems with the Help of the
Painleve Test Sergey Yu. Vernov |
|
17:55-18:20 |
The Error Estimate of the Approximate Solution of
the Dirichlet Problem for Elliptical Partial Differential Equation Serguey Zemskov |
|
18:30 |
WELCOME PARTY |
|
Wednesday July 14 Session 3 Chair |
|
|
9:30-10:00 |
Hierarchical
Advancing Front Triangulation Using Symmetry Properties Victor
G. Ganzha, Dmytro Chibisov and |
|
10:00-10:25 |
On
Stability of Body's Motions in Fluid Valentin Irtegov and Tatyana Titorenko |
|
10:25-10:50 |
Cosymmetry
Preservation and Families of Equilibria Kurt Frischmut and Vyacheslav G. Tsybulin
|
|
10:50-11:15 |
On
the Parametric Resonance in Some Mechanical System
with Damping Carlo
Cattani, Evgenii A. Grebenikov and Alexander Prokopenya |
|
Coffee |
|
|
11:40-12:05 |
Stability
Theorems of Stationary Solutions of the Restricted Ten-body Problem for Resonance
Cases E.
A. Grebenikov, E.V. Ikhsanov and N. I. Zemtsova |
|
12:05-12:30 |
Stability
of Expanding Homographic Config Aleksandr
Mylläri |
|
12:30-13:00 |
Large
Deviations in Discrete Rotation System L.
D. Pustyl'niukov, T. Lokot and R. L. Pustyl'niukov |
|
Lunch Session
4 Chair Volker Weispfenning |
|
|
14:30-14:55 |
On
Stability of a Satellite with Gyrodines Larisa
A. Burlakova and Andrey V. Banshchikov |
|
14:55-15:20 |
Discrete
Algorithms for Symbolic Computing of Topological Phases in Interference
Microscopy Alexander
Gusev, Vladimir Andreev, Vladimir Derbov, Yuri Popov, Vitaly Rostovtsev and
Sergue Vinitsky |
|
15:20-15:45 |
Implementation
of Roe's Method for Numerical Solution of Three-Dimensional Fluid Flow
Problems with the Aid of Computer Algebra Systems Wolfgang Schacht and |
|
15:45-16:10 |
Algorithmic
Methods for Computing Threshold Conditions in Epidemic Modelling Christopher
W. Brown, M'hammed El Kahoui, Dominik Novotni and Andreas Weber |
|
Coffee |
|
|
16:30-16:55 |
Gröbner
Walk for Characteristic sets of Prime Differential Ideals Oleg Golubitsky |
|
16:55-17:20 |
Computation
of Characteristic Sets of Radical Differential Ideals
Alexey Ovchinnikov |
|
17:20-17:55 |
Numerical
Computation of Gröbner Bases Aleksey Kondratyev,
Hans J. Stetter and Franz Winkler |
|
17:55-18:20 |
Extension
of Expansion Base Algorithm for Multivariate Analytic Factorization Maki Iwami |
|
Thursday July 15 Session 5 Chair Gerd Baumann |
|
|
=9:30-10:00 |
On
the Structure of Cohomology of Hamiltonian $p$-Algebras Vladimir V. Kornyak |
|
10:00-10:25 |
On
Testing the Membership to Differential Ideals Alexey I. Zobnin |
|
10:25-10:50 |
Parallel
Computation of Involutive and Gr"obner Bases Vladimir P. Gerdt and Denis A. Yanovich
|
|
10:50-11:15 |
Gr"obner
Bases for Binomials with Parametric Exponents Volker Weispfenning |
|
Coffee |
|
|
11:40-12:05 |
Solving
Univariate P-adic Constraints Thomas
Sturm and Volker Weispfenning |
|
12:05-12:30 |
Generalized
Constraint Solving over Differential Algebras Andreas Dolzmann and Thomas Sturm |
|
12:30-13:00 |
Test
of Monomorphism for Morphisms of Finite Type Between Affine Schemes
Sihem Messnager |
|
13:00-13:30 |
Certification
of Analytic Continuation of Algebraic Function Daiju Inaba and Tateaki Sasaki |
|
Lunch |
|
|
EXCURSION |
|
|
19:00 |
CONFERENCE DINNER== |
|
Friday July 16 Session 6 Chair Nikolay Vassiliev |
|
|
9:30-10:00 |
An
Object Oriented Approach to Industrial Software Development Gerd Baumann and Michal Mnuk |
|
10:00-10:25 |
Toward
the Integration of Numerical Computations into the OMSCS Framework Jacques Calmet and Vincent Lefevre |
|
10:25-10:50 |
STRATIFY
– A SINGULAR Package for Computing Stratifications of Compact Group Actions Thomas Bayer
|
|
10:50-11:15 |
Computer
Algebra and Proofs & Types A.V.
Flegontov, S. V. Soloviev |
|
Coffee |
|
|
11:40-12:05 |
Equivalence Relations on Derivations and
Categorical Models of IMLL |
|
12:05-12:30 |
Computational
and Algebraic Aspects of the Advanced Encryption Standard Carlos
Cid, Sean Murphy and Matthew Robshaw |
|
12:30-13:00 |
jSFTools
--- Knowledge Based System on Special Functions: Java Version S.
Yu. Slavyanov, Mihail A. Zaharenko and V. I. Zolotarev |
|
Lunch Session 7 Chair Evgenii Vorozhtsov |
|
|
14:30-14:55 |
ParForm:
Parallel Version of the Symbolic Manipulation Program FORM
Mikhail Tentyukov, M. Frank, D. Flieger, A. Onischenko, A. Retey, H.
M. |
|
14:55-15:20 |
Computer
Algebra in Chemical Kinetics: Theory and Applications Markus Z. Lazman and G. S.
Yablonsskii |
|
15:20-15:45 |
Quantum Systems Modelling by
Methods of Computer Algebra Alexander V. |
|
Coffee |
|
|
16:30-16:55 |
Hydrodynamics on Two-dimensional Algebras Natalia Malaschonok |
|
16:55-17:20 |
Olivier Ruatta, Mark Sciabica and Agnes
Szanto |
|
17:20-17:55 |
Haydar Kh. Razim |
The
Schedule for the next two days July 17 and July 18 will be announced later
after adjusting with excursion
program= on
the Valaam island.============================ These sessions will be on the
boat ?Kuibyshev¦.