Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scien...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Ganzha, V.G (Éditeur intellectuel), Mayr, E.W (Éditeur intellectuel), Vorozhtsov, E.V (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:1st ed. 2006.
Collection:Theoretical Computer Science and General Issues, 4194
Sujets:
Computer science-Mathematics.
Computer programming.
Discrete mathematics.
Algorithms.
Symbolic and Algebraic Manipulation.
Programming Techniques.
Discrete Mathematics in Computer Science.
Mathematical Applications in Computer Science.
Accès en ligne:Texto Completo
Table des matières:
  • Comparison Maps for Relatively Free Resolutions
  • A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation
  • Reducing Computational Costs in the Basic Perturbation Lemma
  • Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
  • Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study
  • Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem
  • Efficient Preprocessing Methods for Quantifier Elimination
  • Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals
  • On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions
  • Providing Modern Software Environments to Computer Algebra Systems
  • The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem
  • Algorithmic Invariants for Alexander Modules
  • Sudokus and Gröbner Bases: Not Only a Divertimento
  • Simplicial Perturbation Techniques and Effective Homology
  • Numerical Study of Stability Domains of Hamiltonian Equation Solutions
  • Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem
  • A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field
  • On Decomposition of Tame Polynomials and Rational Functions
  • Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases
  • Cellular Automata with Symmetric Local Rules
  • Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations
  • On Connection Between Constructive Involutive Divisions and Monomial Orderings
  • A Symbolic-Numeric Approach to Tube Modeling in CAD Systems
  • Inequalities on Upper Bounds for Real Polynomial Roots
  • New Domains for Applied Quantifier Elimination
  • Algorithms for Symbolic Polynomials
  • Testing Mersenne Primes with Elliptic Curves.

Documents similaires