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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ganzha, V.G (Editor ), Mayr, E.W (Editor ), Vorozhtsov, E.V (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Theoretical Computer Science and General Issues, 4194
Temas:
Computer science-Mathematics.
Computer programming.
Discrete mathematics.
Algorithms.
Symbolic and Algebraic Manipulation.
Programming Techniques.
Discrete Mathematics in Computer Science.
Mathematical Applications in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares