Computer Algebra in Scientific Computing : 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006 : proceedings
Author(s)
Bibliographic Information
Computer Algebra in Scientific Computing : 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006 : proceedings
（Lecture notes in computer science, 4194）
Springer, c2006
Available at / 10 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Includes bibliographical references and index
Description and Table of Contents
Description
This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006. The book presents 25 revised full papers together with 2 invited papers, covering various expanding applications of computer algebra to scientific computing, the computer algebra systems themselves, and the CA algorithms. Topics addressed are studies in Groebner bases, polynomial algebra, homological algebra, quantifier elimination, celestial mechanics, and more.
Table of Contents
Comparison Maps for Relatively Free Resolutions.- A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schroedinger Equation.- Reducing Computational Costs in the Basic Perturbation Lemma.- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.- Intervals, Syzygies, Numerical Groebner 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 Groebner 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.
by "Nielsen BookData"