Ebook: Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007. The volume is dedicated to Professor Vladimir P. Gerdt on the occasion of his 60th birthday.

The 35 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gr?bner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.

---

This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007. The volume is dedicated to Professor Vladimir P. Gerdt on the occasion of his 60th birthday.

The 35 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gr?bner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.

Content:
Front Matter....Pages -
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation....Pages 1-10
Computations in Modules over Commutative Domains....Pages 11-23
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds....Pages 24-30
An Efficient LLL Gram Using Buffered Transformations....Pages 31-44
Comprehensive Triangular Decomposition....Pages 45-57
Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations....Pages 58-72
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates....Pages 73-101
An Algorithm for Construction of Normal Forms....Pages 102-117
Computer Algebra: A ‘Classical’ Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory....Pages 118-133
Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gr?bner Bases....Pages 134-142
On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game....Pages 143-144
Properties of the Liapunov Stability Zones of the Lagrange Triangle....Pages 145-159
Studying the Stability of the Second Order Non-autonomous Hamiltonian System....Pages 160-168
On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems....Pages 169-180
A Unified Algorithm for Multivariate Analytic Factorization....Pages 181-194
On the Computation of the Defining Polynomial of the Algebraic Riccati Equation....Pages 195-210
Symmetries and Dynamics of Discrete Systems....Pages 211-223
Exact Solutions of Completely Integrable Systems and Linear ODE’s Having Elliptic Function Coefficients....Pages 224-235
Dynamics of Nonlinear Parabolic Equations with Cosymmetry....Pages 236-251
Weak Integer Quantifier Elimination Beyond the Linear Case....Pages 252-264
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors....Pages 265-274
Ruppert Matrix as Subresultant Mapping....Pages 275-294
Construction of Computer System for Microobjects Recognition Based on Neural Networks....Pages 295-315
Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra....Pages 316-327
Some Elimination Problems for Matrices....Pages 328-338
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form....Pages 339-349
Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple....Pages 350-359
Bounds for Real Roots and Applications to Orthogonal Polynomials....Pages 360-369
Robust Stability for Parametric Linear ODEs....Pages 370-376
Symbolic and Algebraic Methods for Linear Partial Differential Operators....Pages 377-391
A New Scheme for Deniable/Repudiable Authentication....Pages 392-401
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks....Pages 402-422
On the Representation of the Differential Operator in Bases of Periodic Coiflets and It’s Application....Pages 423-423
Back Matter....Pages 424-432
....Pages 433-447