Computer Algebra in Scientific Computing : 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

by Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst W.; Vorozhtsov, Evgenii V.

• ISBN13: 9783642152733
• ISBN10: 3642152732
• Edition: 1st
• Format: Paperback
• Copyright: 2010-09-27
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing, CASC 2010, held in Tsakhadzor, Armenia, in September 2010.The book includes two invited talks and an abstract in addition to 23 full papers.

Table of Contents

Construction of Irreducible Polynomials over Finite Fields	p. 1
Factorization of Polynomials and GCD Computations for Finding Universal Denominators	p. 4
A Role of Symbolic Computations in Beam Physics	p. 19
Thomas Decomposition of Algebraic and Differential Systems	p. 31
On Multivariate Homogeneous Polynomial Decomposition	p. 55
Computing Matrix Representations of Filiform Lie Algebras	p. 61
Type Specialization in Aldor	p. 73
An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models	p. 85
On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point	p. 97
Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models	p. 106
On Reduction of Lagrange Systems	p. 123
Series Transformations to Improve and Extend Convergence	p. 134
Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems	p. 148
Generic, Type-Safe and Object Oriented Computer Algebra Software	p. 162
Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden	p. 178
Fast Generalized Bruhat Decomposition	p. 194
Computational Science in Armenia (Invited Talk)	p. 203
From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk)	p. 204
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests	p. 205
Term Cancellations in Computing Floating-Point Gröbner Bases	p. 220
One Class of Third-Order Linear ODE's	p. 232
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials	p. 238
Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions	p. 250
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)	p. 267
An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete	p. 280
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases	p. 293
Author Index	p. 303
Table of Contents provided by Ingram. All Rights Reserved.