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