Conference Program CASC 2003

 

Sunday Sep 21, 2003: Morning Session 1
Chair: Vladimir Gerdt

10:00-10:30

Opening Ceremony.
Prof. E. W. Mayr, Prof. V. P. Gerdt

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

Diagrams and Gröbner Bases

N. Vassiliev

Boat Trip to Schlögen

EN-GB'>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

12.0pt;mso-ansi-language:EN-GB'>Arrival in Schlögen

17:50

Departure from Schlögen

12.0pt;mso-ansi-language:EN-GB'>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