Computer
Algebra in Scientific Computing CASC 2007 



Sunday, September 16  
14:0016:30  Registration  
16:3017:30  Conference Opening  
17:3019:30  System Demos 
Monday, September 17  
08:30  Registration  
9:1510:45  Session: Solving problems in natural sciences [Chair: Edneral]  
On the computation
of the defining polynomial of the algebraic Riccati equation 

Dynamics of nonlinear parabolic
equations with cosymmetry 

Analytic solutions
of linear difference equations, formal series, and bottom summation 

10:45  Coffee Break  
11:1512:15  Session: Solving problems in natural sciences [Chair: Gerdt]  
Exact solutions of
completely integrable systems and linear ODE's having elliptic function
coefficients 

On the
representation of the differential operator in bases of periodic
coiflets and its application 

Advances on the continued
fractions method using better estimations of positive root bounds Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigkl 

12:1513:15  Invited Lecture:
Computer algebra: A 'classical' path to explore decoherence and entanglement phenomena in quantum information theory 

13:1514:45  Lunch at Casino Deutsche Welle  
14:4516:15  Session: Algebraic methods for nonlinear polynomial equations and inequalities [Chair: Mayr]  
This session is dedicated to Prof. V.P. Gerdt 

Deducing the
constraints in the lightcone SU(3) YangMills machanics via
Gröbner bases 

Some elimination
problems for matrices 

A unified algorithm
for multivariate analytic factorization 

16:15  Coffee Break  
16:4518:15  Session: Algebraic methods for nonlinear polynomial equations and inequalities [Chair: von zur Gathen]  
Weak integer
quantifier elimination beyond the linear case 

Polynomial division
using dynamic arrays, heaps, and packed exponent vectors 

Bounds for real
roots and applications to orthogonal polynomials 

18:15  Optional Cultural Programs in Bonn 
Tuesday, September 18  
9:15 10:45  Session: Symbolicnumeric methods for differential, differentialalgebraic, and difference equations [Chair: Berghammer]  
Robust stability
for parametric linear ODEs
Volker Weispfenning 

An
algebraicnumeric algorithm for the model selection in kinetic
networks Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto 

On algorithm of the normal form
building Victor F. Edneral 

10:45  Coffee Break  
11:1513:15 
Session: Symbolicnumeric methods for differential, differentialalgebraic, and difference equations [Chair: Yan]  
A symbolicnumerical algorithm
for solving the eigenvalue problem for a hydrogen atom in the
magnetic field: Cylindrical coordinates Ochbadrakh Chuluunbaatar, Alexander Gusev, Vladimir Gerdt, Michail Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergue Vinitsky 

Automatic stability
analysis for a diffusion equation with memories using Maple 

Stability
investigation of a difference scheme for incompressible NavierStokes equations


A
full system of invariants for thirdorder linear partial differential
operators in general form Ekaterina Shemyakova, Franz Winkler 

13:1514:30  Lunch at Casino Deutsche Welle  
14:30  Bus trip to Bingen  
17:00 
Conference Dinner 

22:30 
Bus trip to Bonn 
Wednesday, September 19  
9:15 10:45 
Session: Applications of computer algebra in the theory of matrices [Chair: Vorozhtsov] 

Ruppert matrix as
subresultant mapping 

On the weight
spectra of Conway matrices related to the nontransitive headortail
game 

On the computation
of A_{∞}maps 

10:45  Coffee Break  
11:1512:15  Session: Applications of computer algebra in the theory of matrices [Chair: Weispfenning]  
An efficient LLL
Gram using buffered transformations 

Computations in
modules over commutative domains 

12:1513:15  Invited Lecture:
Symbolic and algebraic methods for linear partial differential operators 

13:1514:45  Lunch at Casino Deutsche Welle  
14:4516:15  Session: Automated reasoning in algebra and geometry [Chair: Stefanescu]  
Algebraic
visualization of relations using RELVIEW 

Symmetries and
dynamics of discrete systems 

A new scheme for
deniable/repudiable authentication 

16:15  Coffee Break  
16:4518:15  Session: Automated reasoning in algebra and geometry [Chair: Kornyak]  
Comprehensive
triangular decomposition 

Distance
computation from an ellipsoid to a linear or a quadric surface in R^{n} 

On the Peculiar Properties of
Families of Invariant Manifolds of Conservative Systems Valentin Irtegov, Tatyana Titorenko 
Thursday, September 20  
09:1510:45  Session: Symbolic and numerical computation in systems engineering and modelling [Chair: Weber]  
Analytical solution
for transient flow of a generalized Bingham fluid with memory in a
movable tube, using Computer Algebra software 

Studying the
stability of the second order nonautonomous Hamiltonian system 

Properties of the
Liapunov stability zones of the Lagrange triangle 

10:45  Coffee Break  
11:15 – 12:15 
Session: Symbolic and numerical computation in systems engineering and modelling [Chair: Chibisov] 

Construction of
computer system for microobjects recognition on basis of neural networks 