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

The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular,but,attimes, also other countries with lively CA communities). The previous CASC Wo- shop was held in Japan, and the 12th workshop was held for the ?rst time in Armenia, w...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gerdt, Vladimir P. (Editor ), Koepf, Wolfram (Editor ), Mayr, Ernst W. (Editor ), Vorozhtsov, Evgenii V. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6244
Temas:
Computer science-Mathematics.
Computer programming.
Computer science.
Discrete mathematics.
Algorithms.
Computer graphics.
Symbolic and Algebraic Manipulation.
Programming Techniques.
Theory of Computation.
Discrete Mathematics in Computer Science.
Computer Graphics.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Construction of Irreducible Polynomials over Finite Fields
  • Factorization of Polynomials and GCD Computations for Finding Universal Denominators
  • A Role of Symbolic Computations in Beam Physics
  • Thomas Decomposition of Algebraic and Differential Systems
  • On Multivariate Homogeneous Polynomial Decomposition
  • Computing Matrix Representations of Filiform Lie Algebras
  • Type Specialization in Aldor
  • An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models
  • On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point
  • Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models
  • On Reduction of Lagrange Systems
  • Series Transformations to Improve and Extend Convergence
  • Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems
  • Generic, Type-Safe and Object Oriented Computer Algebra Software
  • Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden
  • Fast Generalized Bruhat Decomposition
  • Computational Science in Armenia (Invited Talk)
  • From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk)
  • Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
  • Term Cancellations in Computing Floating-Point Gröbner Bases
  • One Class of Third-Order Linear ODE's
  • GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials
  • Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions
  • Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
  • An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete
  • Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases.

Ejemplares similares