CASC 2011
| Home |
| Program |
| Computer
Algebra in Scientific Computing CASC 2011 |
|
|||||||
|
|
| 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 |
|