Sunday – Sep 21, 2003: Morning Session 1
|
|
Chair: Vladimir Gerdt |
|
|
10:00-10:30 |
Opening Ceremony. |
|
10:30-11:00 |
Symbolic Computation
Applied to Surface Waves in Layered Elastic Media R. Esquivel-Sirvent and P. M. O’Leary |
|
11:00-11:30 |
Solving Intersection
Problems With 3D Implicit Surfaces by Using Differential Equation Solving and
Algebraic Techniques L. Gonzalez-Vega, I. Necula and J. Puig-Pey |
|
11:30-12:00 |
Object Oriented Modelling
in Numerical Computation: Multigrid Calculations Using Maple V. G. Ganzha, D. Chibisov and E. V.
Vorozhtsov |
Sunday
– Sep 21, 2003: Afternoon
Session 2
|
|
Chair: Thomas Sturm |
|
|
14:00-14:30 |
Linear Stability of
Stationary Solutions of the Ring-Shaped Newton Ten-Body Problem E.
A. Grebenikov, E. V. Ikhsanov and N. I. Zemtsova |
|
14:30-15:00 |
Deciding Ellipticity by
Quantifier Elimination W.
M. Seiler and A. Weber |
|
15:00-15:30 |
Implicitization of
Polynomial Surfaces I. S. Kotsireas, E. Lau and R. Voino |
|
15:30-16:30 |
Coffee Break |
|
16:30-17:00 |
Subresultants in Recursive
Polynomial Remainder Sequence A. Terui |
|
17:00-17:30 |
On the Stability of Exact
Symmetrical Solutions in the Many-Body Problem C. Cattani and A. N. Prokopenya |
Monday –
Sep 22, 2003: Morning Session 3
|
|
Chair: Ernst W. Mayr
|
|
|
10:00-11:00 |
Invited Talk: Computer Algebra
Parametrization F. Winkler |
|
11:00-11:30 |
Coffee Break |
|
11:30-12:00 |
An Extension of the
Extension Theorem P. Ullrich |
|
12:00-12:30 |
ACGB on Varieties Y. Sato, A. Suzuki and K. Nabeshima |
Monday – Sep 22, 2003: Afternoon Session 4
|
|
Chair: Victor Edneral
|
|
|
14:00-14:30 |
Harmonic Oscillators with
Cubic Polynomial Potentials: A New Application of the Program ANFER Y. Uwano |
|
14:30-15:00 |
The Program LINA for
Normalization of Polynomial Hamiltonians A. Gusev, Yu. Ukolov, N. Chekanov, V.
Rostovtsev, Y. Uwano and S. Vinitsky |
|
15:00-15:30 |
Coffee
Break |
|
15:30-16:00 |
The Maple Package
“Janet”: I. Polynomial Systems Yu. A. Blinkov, C. R. Cid, V. P. Gerdt, W.
Plesken and D. Robertz |
|
16:00-16:30 |
The Maple Package
“Janet”: II. Linear Partial Differential Equations Yu. A. Blinkov, C. R. Cid, V. P. Gerdt, W.
Plesken and D. Robertz |
|
16:30-17:00 |
Coffee Break |
|
17:00-17:30 |
Improved Computation of
Determinants and Resultants I. Z. Emiris and V. Y. Pan |
|
17:30-18:00 |
Modular
Algorithms for Computing Cohomology: Lie Superalgebra of Special Vector
Fields on (2|2)-dimensional Odd Symplectic Superspace V. V. Kornyak |
Tuesday –
Sep 23, 2003: Morning Session 5
|
|
Chair: Werner M. Seiler
|
|
|
10:00-10:30 |
Gröbner Bases for Inexact
mso-bidi-font-size:12.0pt;mso-ansi-language:EN-GB'>Gröbner Bases for Inexact
Input Data V. Weispfenning |
|
10:30-11:00 |
Automatic Generation of
Ranking of Variables for Efficient Computation of Gröbner Bases in
Ranking of Variables for Efficient Computation of Gröbner Bases in
Engineering Applications H. Sawada |
|
11:00-11:30 |
Monomial Orderings, Young
Diagrams and Gröbner Bases N. Vassiliev |
|
Boat Trip to Schlögen |
|
|
12:10 |
Meeting in front of cantina; walk to the
moorings |
|
13:10 |
Departure from Passau |
|
14:45 |
Change boats |
|
15:40 |
Arrival in Schlögen |
|
17:50 |
Departure from Schlögen |
|
20:40 |
Arrival in Passau |
Wednesday
– Sep 24, 2003: Morning
Session 6
|
|
Chair: Andreas Dolzmann |
|
|
10:00-11:00 |
Invited Talk: Quantifier Elimination for Real
Algebraic Constraints in Industry H. Anai |
|
11:00-11:30 |
Coffee Break |
|
11:30-12:00 |
Analytic Factorization of
Multivariate Polynomial M. Iwami |
|
12:00-12:30 |
Neighborhood
Irreducibility Testing of Multivariate Polynomial K. Nagasaka |
Wednesday –
Sep 24, 2003: Afternoon Session 7
|
|
Chair: Eugenio
Roanes-Lozano
|
|
|
14:00-14:30 |
A Computer Algebra Based
Knowledge System for Diagnosis and Treatment of Migraine L. M. Laita, B. Lopez-Bravo, E.
Roanes-Lozano, L. de Ledesma and V. Maojo, L. Laita |
|
14:30-15:00 |
General Solution of
Hyperbolic Differential Equations with Constant Coefficients S. Zemskov and A. Kouleshoff |
|
15:00-15:30 |
Coffee Break |
|
15:30-16:00 |
Computing the
Stratification of Actions of Compact Lie-Groups T. Bayer |
|
16:00-16:30 |
Low Dimensional Naturally
Graded No p-Filiform Lie Algebras L. M. Camacho, J. R. Gomez and A. J. Gonzales |
|
16:30-17:00 |
Coffee Break |
|
17:00-17:30 |
Convex Quantifier
Elimination for Semidefinite Programming H. Anai and P. A. Parrilo |
|
17:30-18:00 |
Boolean Quantification in
a First-Order Context A. Seidl and T. Sturm |
Thursday –
Sep 25, 2003: Morning Session 8
|
|
Chair: Evgeny Vorozhtsov
|
|
|
10:00-10:30 |
Computer-Algebraic
Techniques for Many-Particle Physics S. Fritzsche |
|
10:30-11:00 |
Computer Algebraic Tools
for Studying the Symmetry Properties of Molecules and Clusters E. Rykhlinskaya and S. Fritzsche |
|
11:00-11:30 |
Coffee Break |
|
11:30-12:00 |
Periodic Solutions of a
Cubic ODE System V. F. Edneral |
|
12:00-12:30 |
On
Modeling and Qualitative Investigations of Nonlinear Systems with the Aid of
Computer Algebra V.
Irtegov and T. Titorenko |
Thursday
– Sep 25, 2003: Afternoon Session 9
|
|
Chair: Vladimir V.
Kornyak
|
|
|
14:00-14:30 |
Computation of Collections
of Correlated Faces for Several Polyhedrons A. B. Aranson |
|
14:30-15:00 |
Newton Polyhedra and the
Generalized Henon-Heiles System A. Soleev |
|
15:00-15:30 |
Coffee Break |
|
15:30-16:00 |
On Exact Solvability of
Anharmonic Oscillators in Large Dimensions V. Gerdt, D. Yanovich and M. Znojil |
|
16:00-17:00 |
Business
Meeting Closing |
|
Conference Dinner |
|
|
18:45 19:00 19:15 19:30 |
Bus transfer from the university Bus transfer from Pension Gabriele Bus transfer from Holiday Inn Conference dinner Bus transfer back to the hotels |