Computer Algebra in Scientific Computing
CASC 2012


Home

Program





Monday, September 3


11:00-11:30
Opening


Session Chair: Mayr

11:30-12:00
Tateaki Sasaki and Daiju Inaba
Approximately Singular Systems and Ill-Conditioned Polynomial Systems

12:00-12:30
Severin Neumann
Parallel Reduction of Matrices in Gröbner Bases Computations
Parallel Reduction of Matrices in Gröbner Bases Computations

12:30-13:00
Alexander Gusev, Sergue Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir Gerdt, Luong Le Hai and Vitaly  Rostovtsev
Symbolic-Numerical Calculations of High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields

13:00-15:00
Lunch


Session Chair: Petkovšek

15:00-15:30
Vladimir Gerdt and Amir Hashemi
Comprehensive Involutive Systems

15:30-16:00
Mark Giesbrecht and Albert Heinle
A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials

16:00-16:30
Coffee Break

16:30-17:00
Jia Li, Jin-San Cheng and Elias P. Tsigaridas
Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems

17:00-17:30
Michael Monagan and Roman Pearce
Sparse Polynomial Powering Using Heaps

17:30-18:30
Poster Session

19:00-19:45
Gathering in the Kavarna Art

19:45
Welcome Dinner

Tuesday, September 4



Session Chair: Weber


09:00-10:00
Invited Talk
Kazuhiro Yokoyama
Usage of Modular Techniques for Efficient Computation of Ideal Operations

10:00-10:30
S.A. Abramov and M. Petkovšek
On Polynomial Solutions of Linear Partial Differential and (q-)difference Equations

10:30-11:00
Dima Grigoriev and Andreas Weber
Complexity of Solving Systems with Few Independent Monomials and  Applications to Mass-action Kinetics

11:00-11:30
Coffee Break

11:30-12:00
Victor Y. Pan
Root-Refining for a Polynomial Equation

12:00-12:30
Katsusuke Nabeshima
Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems
Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems

12:30-13:00
Dzmitry A. Budzko and Alexander N. Prokopenya
Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem

13:00-15:00
Lunch

15:00-17:00
Excursion

17:00-18:00
Wine cellar

19:00
Dinner

Wednesday, September 5



Session Chair: Abramov

09:00-10:00
Invited Talk
Gregor Kemper
Invariant Theory: Applications and Computations

10:00-10:30
Pavel Bourdykine and Stephen M. Watt
Lightweight Abstraction for Mathematical Computation in Java

10:30-11:00
Coffee Break

11:00-11:30
Marco Bodrato and Alberto Zanoni
A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers

11:30-12:00
Alexander D. Bruno and Victor F. Edneral
Calculation of Normal Forms of the Euler-Poisson Equations

12:00-12:30
Steffen Marcus, Marc Moreno Maza and Paul Vrbik
On Fulton's Algorithm for Computing Intersection Multiplicities

12:30-13:00
Zhikun She and Haoyang Li
Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems

13:00-15:00
Lunch


Session Chair: Vorozhtsov

15:00-15:30
Hassan Errami, Werner M. Seiler, Markus Eiswirth and Andreas Weber
Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates

15:30-16:00
Marc Mezzarobba
A Note on the Space Complexity of Fast D-Finite Function Evaluation

16:00-16:30
Victor Y. Pan, Guoliang Qian and Ai-Long Zheng
Real and Complex Polynomial Root-Finding by Means of Eigen-Solving

16:30-17:00
Coffee Break

17:00-17:30
Satya Swarup Samal, Hassan Errami and Andreas Weber
PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-Chemical Reaction Networks

17:30-18:00
Amir Hashemi, Michael Schweinfurter and Werner M. Seiler
Quasi-Stability versus Genericity

18:00-19:00
Business meeting

19:00
Concert & Conference Dinner

Thursday, September 6



Session Chair: Gerdt

09:30-10:00
Vasily P. Shapeev and Evgenii V. Vorozhtsov
Symbolic-numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations

10:00-10:30
Jing Yang, Dongming Wang and Hoon Hong
Improving Angular Speed Uniformity by Optimal C0 Piecewise Reparameterization

10:30-11:00
Coffee Break

11:00-11:30
Marc Moreno Maza, Éric Schost and Paul Vrbik
Inversion Modulo Zero-Dimensional Regular Chains

11:30-12:00
Jaume Giné, Colin Christophe, Mateja Prešern, Valery G. Romanovski and Natalie L. Shcheglova
The Resonant Center Problem for a 2:-3 Resonant Cubic Lotka-Volterra System

12:00-12:30
Prabhanjan Ananth and Ambedkar Dukkipati
An Algebraic Characterization of Rainbow Connectivity

12:30-14:30
Lunch

18:00 Dinner