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

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

Εμφάνιση άλλων εκδόσεων (1)

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Gerdt, Vladimir P. (Επιμελητής έκδοσης), Koepf, Wolfram (Επιμελητής έκδοσης), Mayr, Ernst W. (Επιμελητής έκδοσης), Vorozhtsov, Evgenii V. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Σειρά:Lecture Notes in Computer Science, 6244
Θέματα:
Computer science.
Computer programming.
Computers.
Algorithms.
Computer science > Mathematics.
Computer graphics.
Computer Science.
Symbolic and Algebraic Manipulation.
Programming Techniques.
Theory of Computation.
Discrete Mathematics in Computer Science.
Algorithm Analysis and Problem Complexity.
Computer Graphics.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.

Παρόμοια τεκμήρια