Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

Front Matter....Pages -
On m -Interlacing Solutions of Linear Difference Equations....Pages 1-17
Parametric Analysis of Stability Conditions for a Satellite with Gyrodines....Pages 18-28
Computing and Visualizing Closure Objects Using Relation Algebra and RelView ....Pages 29-44
On Integrability of a Planar ODE System Near a Degenerate Stationary Point....Pages 45-53
Conditions of D-Stability of the Fifth-Order Matrices....Pages 54-65
Code Generation for Polynomial Multiplication....Pages 66-78
Solving Structured Polynomial Systems and Applications to Cryptology....Pages 79-80
The Comparison Method of Physical Quantity Dimensionalities....Pages 81-88
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities....Pages 89-93
Involution and Difference Schemes for the Navier–Stokes Equations....Pages 94-105
A Mathematica Package for Simulation of Quantum Computation....Pages 106-117
On Computing the Hermite Form of a Matrix of Differential Polynomials....Pages 118-129
On the Computation of Comprehensive Boolean Gröbner Bases....Pages 130-141
On Invariant Manifolds of Dynamical Systems in Lie Algebras....Pages 142-154
On the Complexity of Reliable Root Approximation....Pages 155-167
Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation....Pages 168-179
Discrete Dynamics: Gauge Invariance and Quantization....Pages 180-194
Effective Quantifier Elimination for Presburger Arithmetic with Infinity....Pages 195-212
An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy....Pages 213-225
Lazy and Forgetful Polynomial Arithmetic and Applications....Pages 226-239
On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences....Pages 240-246
A Study on Gröbner Basis with Inexact Input....Pages 247-258
Modular Algorithms for Computing a Generating Set of the Syzygy Module....Pages 259-268
A Symbolic Framework for Operations on Linear Boundary Problems....Pages 269-283
Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra....Pages 284-298
Multiple Factorizations of Bivariate Linear Partial Differential Operators....Pages 299-309
Computing Gröbner Bases within Linear Algebra....Pages 310-321
A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium....Pages 322-333
Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity....Pages 334-349
New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc....Pages 350-372
Hybrid Solution of Two-Point Linear Boundary Value Problems....Pages 373-391
Back Matter....Pages -