CASC 2009
| Home |
| Program |
| (last updated: 2009-09-16 02:00 CEST) |
| Computer
Algebra in Scientific Computing CASC 2009 |
|
|||||||
|
|
| Sunday, September 13 | ||
| 13:00- | Registration | |
| 14:00- | Session: ... and Night Sponsored by Cybernet Systems and Maplesoft | |
| 14:00-14:30 |
System Demo:
A Theorema Prototype Implementation for Symbolic Linear Boundary Problems |
|
| 14:40-15:40 |
Knoppix/Math Technical Talk |
|
| 15:50-16:50 |
Erik Postma, Maplesoft |
|
| 17:00- | Welcome Party | |
| Monday, September 14 | ||
| 09:00- | Registration | |
| 09:30- | Opening |
|
| 10:00-11:30 | Session (Gerdt): Computer algebra in industry | |
| 10:00-10:30 |
A
mimetic finite-difference scheme for convection of multicomponent
fluid in a porous medium |
|
| 10:30-11:00 | New
analytic
solutions of the problem of gas flow in a casing with rotating disc Evgenii V. Vorozhtsov |
|
| 11:00-11:30 |
Parametric
analysis of stability conditions for a satellite with
gyrodines |
|
| 11:30-13:00 | Lunch | |
| 13:00-14:30 | Session (Gerdt): Algebraic methods in geometric modeling | |
| 13:00-14:00 | Invited
lecture:
Ambient isotopic meshing for implicit algebraic surfaces with
singularities J.-S. Cheng, X.-S. Gao, and J. Li |
|
| 14:00-14:30 | Computing and
visualizing closure objects
using relation algebra and RelView Rudolf Berghammer and Bernd Brassel |
|
| 14:30-15:00 | Coffee break | |
| 15:00-16:00 | Session (Mayr): Number theory | |
| 15:00-15:30 | On
integrability of a planar ODE system
near a degenerate stationary point Alexander Bruno and Victor Edneral |
|
| 15:30-16:00 | On m-interlacing solutions of linear difference equations S.A. Abramov, M.A. Barkatou, and D.E. Khmelnov |
|
| 16:00-16:30 | Coffee break and Poster session | |
| Posters by: Iwami, Murakami, Rich/Jeffrey, and Terui | ||
| 16:30-18:00 | Session (Mayr): Symbolic-numeric methods for differential, differential-algebraic, and difference equations | |
| 16:30-17:00 | Involution
and Difference Schemes for the
Navier-Stokes Equations Vladimir Gerdt and Yuri Blinkov |
|
| 17:00-17:30 | Symbolic-numerical
algorithms for solving
parabolic quantum well problem with hydrogen-like impurity Sergue Vinitsky, Vladimir Gerdt, Alexander Gusev, Ochbadrakh Chuluunbaatar, and Vitaly Rostovtsev |
|
| 17:30-18:00 | Hybrid
solution of two-point boundary
value problems Maha Youssef and Gerd Baumann |
|
| Tuesday, September 15 | ||
| 09:30 -11:00 | Session (Giesbrecht): Groebner bases | |
| 09:30-10:00 | Computing
Groebner bases within linear
algebra Akira Suzuki |
|
| 10:00-10:30 | A study on
Groebner basis with inexact
input Kosaku Nagasaka |
|
| 10:30-11:00 | On the
computation of comprehensive
Boolean Groebner bases Shutaro Inoue |
|
| 11:00-12:30 | Lunch | |
| 12:30-14:00 | Session (Giesbrecht): Algebraic methods for nonlinear polynomial equations and inequalities | |
| 12:30-13:30 | Invited
lecture:
Solving structured polynomial systems and applications to Cryptology Jean-Charles Faugère |
|
| 13:30-14:00 | Lazy and
forgetful polynomial arithmetic
and applications Michael Monagan and Paul Vrbik |
|
| 14:15-21:30 | Social Program/Conference Dinner | |
| Wednesday, September 16 | ||
| 09:30 -11:30 | Session (Jeffrey): Algebraic methods for nonlinear polynomial equations and inequalities | |
| 09:30-10:00 | Code
generation for polynomial
multiplication Ling Ding and Éric Schost |
|
| 10:00-10:30 | Effective
quantifier elimination for
Presburger arithmetic with infinity Thomas Sturm and Aless Lasaruk |
|
| 10:30-11:00 | Algebraic
approach to the computation of
the defining polynomial of the algebraic Riccati equation Takuya Kitamoto |
|
| 11:00-11:30 | On the
complexity of reliable root
approximation Michael Kerber |
|
| 11:30-13:00 | Lunch | |
| 13:00-14:00 | Session (Jeffrey): Algebraic methods for nonlinear polynomial equations and inequalities | |
| 13:00-13:30 | Conditions of
D-stability of fifth-order
Matrices Larisa Burlakova |
|
| 13:30-14:00 | On computing the Hermite form of a matrix of differential polynomials Mark Giesbrecht and Myung Sub Kim |
|
| 14:00-14:30 | Coffee break and Poster session | |
| Posters by: Iwami, Murakami, Rich/Jeffrey, and Terui | ||
| 14:30-16:00 | Session (Vorozhtsov):
Problem-solving environment |
|
| 14:30-15:00 | A Mathematica
Package for Simulation of
Quantum Computation Vladimir Gerdt, Robert Kragler, and Alexander Prokopenya |
|
| 15:00-15:30 | Modular
algorithms for computing a
generating set of the syzygy module Masayuki Noro |
|
| 15:30-16:00 | Mathematical
Model for Dengue Epidemics
with Differential Susceptibility and Asymptomatic Patients using
Computer Algebra (cancelled) Clarita Saldarriaga |
|
| 16:00-16:30 | Coffee break | |
| 16:30-18:00 | Session (Vorozhtsov): Symbolic and numerical computation in systems engineering and modelling | |
| 16:30-17:00 | An algorithm
for symbolic solving of
differential equations and estimation of accuracy Natascha Malaschonok |
|
| 17:00-17:30 | Multiple
factorizations of bivariate
linear partial differential operators Ekaterina Shemyakova |
|
| 17:30-18:00 | A symbolic
framework for operations on
linear boundary problems Markus Rosenkranz, Georg Regensburger, Loredana Tec and Bruno Buchberger |
|
| 18:15-19:00 | Business Meeting | |
| 19:00- | Farewell Party | |
| Thursday, September 17 | ||
| 09:30-11:30 | Session (Abramov): Symbolic and numerical computation in systems engineering and modelling | |
| 09:30-10:00 | On the
average growth rate of random
compositions of Fibonacci and Padovan recurrences Aleksandr Mylläri and Nikita Gogin |
|
| 10:00-10:30 | Discrete
dynamics: gauge invariance and
quantization Vladimir Kornyak |
|
| 10:30-11:00 | The
comparison method of physical quantity
dimensionalities Alexander Flegontov and Mariya Marusina | |
| 11:00-11:30 | On invariant
manifolds of dynamical
systems in Lie algebras Valentin Irtegov and Tatiana Titorenko | |
| 11:30- | Closing | |