Computer Algebra in Scientific Computing: 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

Front Matter....Pages -
A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields....Pages 1-9
Higher-Order Linear Differential Systems with Truncated Coefficients....Pages 10-24
Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter....Pages 25-36
A Modular Approach for Beam Lines Design....Pages 37-48
Computations on Simple Games Using RelView ....Pages 49-60
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains....Pages 61-72
Chemical Reaction Systems, Computer Algebra and Systems Biology....Pages 73-87
On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem....Pages 88-100
Semi-algebraic Description of the Equilibria of Dynamical Systems....Pages 101-125
Normal Forms of Two p : −  q Resonant Polynomial Vector Fields....Pages 126-134
On Muldowney’s Criteria for Polynomial Vector Fields with Constraints....Pages 135-143
Knowledge-Based Automatic Generation of Partitioned Matrix Expressions....Pages 144-157
Involutive Division Generated by an Antigraded Monomial Ordering....Pages 158-174
Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions....Pages 175-191
Symbolic-Numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics....Pages 192-199
Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic....Pages 200-214
Fast and Robust Symbolic Model Order Reduction with Analog Insydes ....Pages 215-225
On Invariant Manifolds of Lagrange Systems....Pages 226-238
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition....Pages 239-250
Convection in a Porous Medium and Mimetic Scheme in Polar Coordinates....Pages 251-262
Computations in Finite Groups and Quantum Physics....Pages 263-279
Regular and Singular Boundary Problems in Maple....Pages 280-293
Algebraic Structures as Typed Objects....Pages 294-308
On Two-Generated Non-commutative Algebras Subject to the Affine Relation....Pages 309-320
Acceleration of the Inversion of Triangular Toeplitz Matrices and Polynomial Division....Pages 321-332
Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems....Pages 333-344
Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk)....Pages 345-347
Symbolic-Manipulation Constructions of Hilbert-Space Metrics in Quantum Mechanics....Pages 348-357
Back Matter....Pages -