| September 22 |
| 10:00am |
Conference opening
|
Session 1: Polynomial Bases and ODEs
Chair: E.W. Mayr |
| 10:15am - 10:40am | Mark Giesbrecht, Greg Reid, and Yang Zang
Non-Commutative Gröbner Bases in Poincaré-Birkhoff-Witt Extensions |
| 10:45am - 11:10am | E.V. Pankratiev
Some Approaches to Construction of Standard Bases in
Commutative and Differential Algebra |
| 11:15am - 11:40pm | A. Ovchinnikov and A. Zobnin
Classification and Applications
of Monomial Orderings and the Properties of Differential Orderings |
| 11:45am - 12:05pm |
Coffee Break
|
| 12:15pm - 12:40pm | Giuseppa Carra'Ferro and Vladimir P. Gerdt
Extended Characteristic Sets of Finitely
Generated Differential Ideals |
| 2:00pm |
Lunch
|
Session 2: Application of CAS
Chair: A. Weber |
| 3:30pm - 3:55pm | Victor Edneral and Raya Khanin
Multivariate Power Series and Normal Form Calculation in Mathematica |
| 4:00pm - 4:25pm | K. Hantzschmann and O. Becken
Algorithms of Computer Analysis for Approximate Solutions
of Linear ODEs with Polynomial Coefficients |
| 4:30pm - 4:55pm | Antoine Girard
Approximate Solutions of ODEs Using Piecewise
Linear Vector Fields |
| 5:00pm - 5:20pm |
Coffee Break
|
| 5:30pm - 5:55pm | Valentin Irtegov and Tatyana Titorenko
On the Properties of Families of First Integrals |
| 7:00pm |
Welcome Party
|
| September 23 |
Session 3: Application of CAS
Chair: E.V. Vorozhtsov |
| 10:00am - 10:55am | Johannes Grabmeier
Computing Cocycles and Codes |
| 11:00am - 11:25am | Thomas Sturm and Volker Weispfenning
Quantifier Elimination in Term Algebras |
| 11:30am - 11:55am | Thomas Bayer
Moduli Spaces of Low Dimension for Semi Brieskorn-Pham Singularities w.r.t. Right
Equivalence |
| 12:00pm - 12:20pm |
Coffee Break
|
| 12:25pm - 12:50pm | Michal Mnuk and Gerd Baumann
On Structured Representation of Physical Objects |
| 12:55pm - 1:20pm | Andrey V. Banshchikov
Parametric Analysis of Stability Conditions for a
Satellite with a Gravitation Stabilizer |
| 2:00pm |
Lunch
|
| 3:00pm - 6:00pm |
Conference Tour
|
| 7:00pm |
Dinner
|
| September 24 |
Session 4: Problem Solving in Scientific Computing
Chair: V. Gerdt |
| 10:00am - 10:55am | M'hammed El Kahoui and Andreas Weber
Symbolic Equilibrium Point Analysis in Parameterized
Polynomial Vector Fields |
| 11:00am - 11:25am | D.J. Jeffrey
High Precision Computation of Elementary Functions in Maple |
| 11:30am - 11:55am | Jaime Gutierrez, Rosario Rubio, and David Sevilla
Computing the Fixing Group of a Rational Function |
| 12:00pm - 12:20pm |
Coffee Break
|
| 12:30pm - 12:55pm | E.A. Grebenikov, M. Jakubiak, and D. Kozak-Skoworodkin
The Algebraic Problems Tied With Generalized Krylov-Bogolyubov
Equation |
| 1:00pm - 1:25pm | Gema Diaz-Toca and Laureano
Gonzalez-Vega
Determining Puiseux Expansions by Hensel's Lemma and Dynamic Evaluation |
| 2:00pm |
Lunch
|
Session 5: Problem Solving in Scientific Computing
Chair: V. Weispfenning |
| 3:00pm - 3:25pm | Anatolii Samoilenko, Alexander Boichuk, and Andrij Boichuk
Pseudo-Inverse Matrices and Solutions Bounded on $R$ of Linear and
Nonlinear Systems |
| 3:30pm - 3:55pm | Victor G. Ganzha, Dmytro Chibisov, and Evgenii V. Vorozhtsov
Computer Algebra in Problem Solving
for Computational Fluid Dynamics: Term Rewriting and All That |
| 7:00pm |
Dinner
|
| September 25 |
Session 6: Applications of CAS
Chair: J. Gutierrez |
| 10:00am - 10:25am | François Lemaire
Les Classements les Plus Généraux Assurant l'Analycité des
Solutions des Systémes Orthonomes pour des Conditions Initiales
Analytiques |
| 10:30am - 10:55am | R. González-Díaz and P. Real
Geometric Objects and Cohomology Operations |
| 11:00am - 11:25am | Akhmadjon Soleev
Newton Polyhedra for Investigation of Complex
Bifurcations of Periodic Solutions in Some System of ODEs |
| 11:30am - 11:55am | Vladimir V. Kornyak
Computation of Cohomology of Lie Algebra of Hamiltonian Vector Fields
by Splitting Cochain Complex into Minimal Subcomplexes |
| 12:00pm - 12:20pm |
Coffee Break
|
| 12:30pm - 12:55pm | Alexander Gusev, Svetoslav Veselinov, Valentin Samoilov, and Pavel Vinitsky
Programs of Modelling and Visualization of Trajectories of Particles
with Variable Mass in the Field of a Massive Geoid |
| 1:00pm - 1:25pm | Alexander Gusev, Nikolai Chekanov, Vitaly Rostovtsev, and Yoshio Uwano
The Programs for Normalization and Quantization of Polynomial
Hamiltonians |
| 2:00pm |
Lunch
|
| 3:00pm - 6:00pm |
Conference Tour
|
| 8:00pm |
Banquet
|
| September 26 |
Session 7: Closing
Chair: V. Gerdt and E.W. Mayr |
| 10:00am - 11:00am |
Business Meeting and Conference Closing
|
| 12:30pm |
Lunch
|
| 1:30pm |
Departure to Kyiv
|
