![]() |
Computer
Algebra in Scientific Computing CASC 2007 |
![]() |
|||||
|
|
| Sunday, September 16 | ||
| 14:00-16:30 | Registration | |
| 16:30-17:30 | Conference Opening | |
| 17:30-19:30 | System Demos | |
| Monday, September 17 | ||
| 08:30 | Registration | |
| 9:15-10: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:15-12: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:15-13:15 | Invited Lecture:
Computer algebra: A 'classical' path to explore decoherence and entanglement phenomena in quantum information theory |
|
| 13:15-14:45 | Lunch at Casino Deutsche Welle | |
| 14:45-16: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 light-cone SU(3) Yang-Mills machanics via
Gröbner bases |
||
|
Some elimination
problems for matrices |
||
|
A unified algorithm
for multivariate analytic factorization |
||
| 16:15 | Coffee Break | |
| 16:45-18: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: Symbolic-numeric methods for differential, differential-algebraic, and difference equations [Chair: Berghammer] | |
|
Robust stability
for parametric linear ODEs
Volker Weispfenning |
||
| An
algebraic-numeric 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:15-13:15 |
Session: Symbolic-numeric methods for differential, differential-algebraic, and difference equations [Chair: Yan] | |
| A symbolic-numerical 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 Navier-Stokes
equations |
||
| A
full system of invariants for third-order linear partial differential
operators in general form Ekaterina Shemyakova, Franz Winkler |
||
| 13:15-14: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 non-transitive head-or-tail
game |
||
|
On the computation
of A∞-maps |
||
| 10:45 | Coffee Break | |
| 11:15-12: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:15-13:15 | Invited Lecture:
Symbolic and algebraic methods for linear partial differential operators |
|
| 13:15-14:45 | Lunch at Casino Deutsche Welle | |
| 14:45-16: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:45-18: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 Rn |
||
| On the Peculiar Properties of
Families of Invariant Manifolds of Conservative Systems Valentin Irtegov, Tatyana Titorenko |
||
| Thursday, September 20 | ||
| 09:15-10: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 non-autonomous 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 |
||