科学计算中的计算机代数/会议录Computer Algebra in Scientific Computing 夸克云 docx snb kindle pdf 网盘 azw3 下载

This book constitutes the refereed proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC 2005, held in Kalamata, Greece in September 2005. The 41 revised full papers presented were carefully reviewed and selected from 75 submissions. The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software: algebraic methods for nonlinear polynomial equations and inequalities, symbolic-numeric methods for differential and differential-algebraic equations, algorithmic and complexity considerations in computer algebra, algebraic methods in geometric modelling, aspects of computer algebra programming languages, automatic reasoning in algebra and geometry, complexity of algebraic problems, exact and approximate computation, parallel symbolic-numeric computation, Internet accessible symbolic and numeric computation, problem-solving environments, symbolic and numerical computation in systems engineering and modelling, computer algebra in industry, solving problems in the natural sciences, numerical simulation using computer algebra systems, mathematical communication.

On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems

Computing the Betti Numbers of Arrangements in Practice

A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method

RELVIEW - An OBDD-Based Computer Algebra System for Relations

On the Use of GrSbner Bases for Computing the Structure of Finite

Abelian Groups

Normal Forms and Integrability of ODE Systems

Resultant-Based Methods for Plane Curves Intersection Problems

Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion

Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time

Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots

Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials

A Descartes Algorithm for Polynomials with Bit-Stream Coemcients

Real Solving of Bivariate Polynomial Systems

NouveUe Cuisine for the Computation of the Annihilating Ideal of f~

Janet-Like Monomial Division

Janet-Like GrSbner Bases

Circulant Digraphs and Monomial Ideals

Algebraic Topological Analysis of Time-Sequence of Digital Images

Hilbert Stratification and Parametric GrSbner Bases

Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem

Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrodinger Equation by Split-Operator Method

On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid

On Compatibility of Discrete Relations

Construction of Two Level Orthogonal Arrays via Solutions ot Linear Systems

……

Author Index

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：科学计算中的计算机代数/会议录Computer Algebra in Scientific Computing在线阅读

在线听书地址：科学计算中的计算机代数/会议录Computer Algebra in Scientific Computing在线收听

在线购买地址：科学计算中的计算机代数/会议录Computer Algebra in Scientific Computing在线购买

暂无原文赏析，正在全力查找中！

暂无其它内容！