Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ganzha, Victor G. (Επιμελητής έκδοσης), Mayr, Ernst W. (Επιμελητής έκδοσης), Vorozhtsov, Evgenii V. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4194
• Θέματα: Computer science.; Computer programming.; Algorithms.; Computer science > Mathematics.; Computer Science.; Symbolic and Algebraic Manipulation.; Programming Techniques.; Discrete Mathematics in Computer Science.; Algorithm Analysis and Problem Complexity.; Math Applications in Computer Science.

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

Πίνακας περιεχομένων:

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