Computer Algebra in Scientific Computing
CASC 2011


Home

Program





Monday, September 5


14:00-15:00
Registration


Session: Algebra and Matrices

15:00-15:30
Juan Gerardo Alcazar
Topology of Families of Implicit Algebraic Surfaces Depending on A Parameter

15:30-16:00
Viktor Levandovskyy, Christoph Koutschan, and Oleksandr Motsak
On Two-generated Non-commutative Algebras Subject to the Affine Relation

16:00-16:30
Diego Fabregat-Traver and Paolo Bientinesi
Knowledge-Based Automatic Generation of Partitioned Matrix Expressions

16:30-17:00
Brian Murphy
Acceleration of the Inversion of Triangular

18:00
Welcome Reception

Tuesday, September 6


09:00-10:00 Plenary Talk:
Agnes Szanto
Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems


Session: Polynomials


10:30-11:00
Vladimir Gerdt and Yuri Blinkov
Involutive Division Generated by an Antigraded Monomial Ordering

11:00-11:30
Sergey Abrahamyan and Melsik Kyureghyan
A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields

11:30-12:00
William Hart and Andy Novocin
Practical divide-and-conquer algorithms for polynomial arithmetic


Session: Symbolic-Numeric

14:00-14:30
Sergey Gutnik
Symbolic-numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics

14:30-15:00
Alexander Gusev, Sergue Vinitsky, Ochbadrakh Chuluunbaatar,Vladimir Gerdt and Vitaly A. Rostovtsev   
Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions

15:00-15:30
Hidenao Iwane, Akifumi Kira and Hirokazu Anai
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition


Session: Symbolic-Numeric

16:00-16:30
Matthias Hauser, Christian Salzig and Alexander Dreyer
Fast and Robust Symbolic Model Order Reduction with Analog Insydes

16:30-17:00
Bulent Karasozen, Anastasia Trofimova and Vyacheslav Tsybulin
Convection in a Porous Medium and Mimetic Scheme in Polar Coordinates

Wednesday, September 7



Session: Mechanics and Quantum Mechanics

10:00-10:30
Irtegov Valentin and Titorenko Tatiana
On Invariant Manifolds of Lagrange Systems

10:30-11:00
Dzmitry Budzko and Alexander Prokopenya       
On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem

11:00-11:30
Vladimir Kornyak
Computations in Finite Groups and Quantum Physics

11:30-12:00
Miloslav Znojil
Symbolic-manipulation constructions of Hilbert-space metrics in quantum mechanics

13:30
Excursion: Bergpark Wilhelmshöhe
Excursion: Bergpark Wilhelmshöhe

19:00
Conference Dinner

Thursday, September 8


09:00-10:00 Plenary Talk:
François Boulier
Chemical Reaction Systems, Computer Algebra and Systems Biology


Session: ODE

10:30-11:00
Victor Edneral and Valery Romanovski
Normal forms of two p : -q resonant polynomial vector fields

11:00-11:30
Hassan Errami, Werner Seiler, Thomas Sturm and Andreas Weber
On Muldowney's Criteria for Polynomial Vector Fields with Constraints

11:30-12:00
Changbo Chen and Marc Moreno Maza
Semi-algebraic description of the equilibria of dynamicical systems


Session: ODE

14:00-14:30
Anja Korporal, Georg Regensburger and Markus Rosenkranz
Regular and Singular Boundary Problems in MAPLE

14:30-15:00
Zhikun She and Bai Xue
Computing a basin of attraction to a target region by solving bilinear semi-definite problems

15:00-15:30
Sergei Abramov, Moulay Barkatou and Eckhard Pfluegel
Higher-Order Linear Differential Systems with Truncated Coefficients

16:00-17:00 Business meeting

Friday, September 9


Session: Miscellaneous

10:00-10:30
François Boulier, François Lemaire and Alexandre Sedoglavic
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains

10:30-11:00
Rudolf Berghammer, Agnieszka Rusinowska and Harrie De Swart
Computations on Simple Games using RelView

11:00-11:30
Heinz Kredel and Raphael Jolly
Algebraic structures as typed objects