14. CASC 2012: Maribor, Slovenia
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (Eds.): Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-32972-2
Sergei A. Abramov, Marko Petkovsek: On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations. 1-11
Prabhanjan Vijendra Ananth, Ambedkar Dukkipati: An Algebraic Characterization of Rainbow Connectivity. 12-21
Alexander Batkhin: Application of the Method of Asymptotic Solution to One Multi-Parameter Problem. 22-33
Marco Bodrato, Alberto Zanoni: A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers. 34-46
Pavel Bourdykine, Stephen M. Watt: Lightweight Abstraction for Mathematical Computation in Java. 47-59
Alexander D. Bruno, Victor F. Edneral: Calculation of Normal Forms of the Euler-Poisson Equations. 60-71
Dzmitry A. Budzko, Alexander N. Prokopenya: Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem. 72-83
Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber: Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. 84-97
Mark Giesbrecht, Albert Heinle: A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. 117-128
Jaume Giné, Colin Christopher, Mateja Presern, Valery G. Romanovski, Natalie L. Shcheglova: The Resonant Center Problem for a 2: -3 Resonant Cubic Lotka-Volterra System. 129-142
Dima Grigoriev, Andreas Weber: Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics. 143-154
Alexander Gusev, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, Luong Le Hai, Vitaly Rostovtsev: Symbolic-Numerical Calculations of High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields. 155-171
Gregor Kemper: Invariant Theory: Applications and Computations - (Invited Talk). 185
Jia Li, Jin-San Cheng, Elias P. Tsigaridas: Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems. 186-197
Steffen Marcus, Marc Moreno Maza, Paul Vrbik: On Fulton's Algorithm for Computing Intersection Multiplicities. 198-211
Marc Mezzarobba: A Note on the Space Complexity of Fast D-Finite Function Evaluation. 212-223
Marc Moreno Maza, Éric Schost, Paul Vrbik: Inversion Modulo Zero-Dimensional Regular Chains. 224-235
Katsusuke Nabeshima: Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems. 248-259
Severin Neumann: Parallel Reduction of Matrices in Gröbner Bases Computations. 260-270
Victor Y. Pan, Guoliang Qian, Ailong Zheng: Real and Complex Polynomial Root-Finding by Means of Eigen-Solving. 271-282
Victor Y. Pan: Root-Refining for a Polynomial Equation. 283-293
Satya Swarup Samal, Hassan Errami, Andreas Weber: PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks. 294-307
Tateaki Sasaki, Daiju Inaba: Approximately Singular Systems and Ill-Conditioned Polynomial Systems. 308-320
Vasily P. Shapeev, Evgenii V. Vorozhtsov: Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations. 321-333
Zhikun She, Haoyang Li: Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems. 334-348
Jing Yang, Dongming Wang, Hoon Hong: Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. 349-360
Kazuhiro Yokoyama: Usage of Modular Techniques for Efficient Computation of Ideal Operations - (Invited Talk). 361-362



