科学计算中的计算机代数: CASC 2006/会议录LNCS-4194: Computer algebra in scientific computing
分類: 图书,计算机/网络,计算机理论,
作者: V.G. Ganzha著
出 版 社: 湖南文艺出版社
出版时间: 2006-12-1字数:版次: 1页数: 312印刷时间: 2006/12/01开本:印次:纸张: 胶版纸I S B N : 9783540451822包装: 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
内容简介
This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006, held in Chisinau, Moldova, in September 2006.
The 25 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in Gröbner bases, polynomial algebra, homological algebra, quantifier elimination, the applications of computer algebra systems in the field of the solution of differential equations, celestial mechanics, Newton polyhedra, mathematical physics, nuclear physics, and fluid dynamics. Novel themes also addressed are the application of computer algebra techniques in the field of nanosciences and nanotechnology as well as the application of CA methods to cellular automata with symmetrical local rules.
目录
Comparison Maps for Relatively Free Resolutions
A Symbolic-Numeric Approach for Solving the Eigenvalue Problemfor the One-Dimensional Schr6dinger Equation
Reducing Computational Costs in the Basic Perturbation Lemma
Solving Algorithmic Problems on Orders and Lattices by RelationAlgebra and RELVIEW
Intervals, Syzygies, Numerical GrSbner Bases: A Mixed Study
Application of Computer Algebra for Construction of Quasi-periodicSolutions for Restricted Circular Planar Three Body Problem
Efficient Preprocessing Methods for Quantifier Elimination
Symbolic and Numerical Calculation of Transport Integrals for SomeOrganic Crystals
On the Provably Tight Approximation of Optimal Meshingfor 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 Gr5bner Bases: Not Only a Divertimento.
Simplicial Perturbation Techniques and Effective Homology
Numerical Study of Stability Domains of Hamiltonian EquationSolutions
Numeric-Symbolic Computations in the Study of Central
Configurations in the Planar Newtonian Four-Body Problem
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problemfor a Hydrogen Atom in Magnetic Field
On Decomposition of Tame Polynomials and Rational Functions
Newton Polyhedra and an Oscillation Index of Oscillatory Integralswith Convex Phases
Cellular Automata with Symmetric Local Rules
Parallel Laplace Method with Assured Accuracy for Solutionsof Differential Equations by Symbolic Computations
On Connection Between Constructive Involutive Divisionsand Monomial Orderings
……
Author Index