Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings - Softcover

Softcover

ISBN 10: 3642329748 ISBN 13: 9783642329746

Publisher: Springer, 2012

Synopsis

On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations.- An Algebraic Characterization of Rainbow Connectivity.- Application of the Method of Asymptotic Solution to One Multi-Parameter Problem.- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers.- Lightweight Abstraction for Mathematical Computation in Java.- Calculation of Normal Forms of the Euler-Poisson Equations.- Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem.- Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates.- Comprehensive Involutive Systems.- A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials.- The Resonant Center Problem for a 2:-3 Resonant Cubic Lotka-Volterra System.- Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics Symbolic-Numerical Calculations of.- High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields.- Quasi-stability versus Genericity.- Invariant Theory: Applications and Computations (Invited Talk).- Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems.- On Fulton's Algorithm for Computing Intersection Multiplicities.- A Note on the Space Complexity of Fast D-Finite Function Evaluation.- Inversion Modulo Zero-Dimensional Regular Chains.- Sparse Polynomial Powering Using Heaps.- Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems.- Parallel Reduction of Matrices in Gr¨obner Bases Computations.- Real and Complex Polynomial Root-Finding by Means of Eigen-Solving.- Root-Refining for a Polynomial Equation.- PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks.- Approximately Singular Systems and Ill-Conditioned Polynomial Systems.- Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations.- Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems.- Improving Angular Speed Uniformity by Optimal C0 Piecewise Reparameterization.- Usage of Modular Techniques for Efficient Computation of Ideal Operations (Invited Talk).

Edition details

• Publisher: Springer
• Publication date: 2012
• ISBN 10: 3642329748
• ISBN 13: 9783642329746
• Binding: Paperback
• Language: English
• Number of pages: 380
• Editor: Gerdt Vladimir P., Koepf Wolfram, Mayr Ernst W.