Computer Algebra in Scientific Computing Casc 2000: Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, October 5-9, 2000

by Workshop on Computer Algebra in Scientific Computing 2000 Samarkand; Mayr, Ernst; Vorozhtsov, E. V.

• ISBN13: 9783540410409
• ISBN10: 3540410406
• Format: Hardcover
• Copyright: 2000-10-01
• Publisher: Springer Verlag

Summary

The book covers various topics of computer algebra methods, algorithms and software applied to scientific computing. One of the important topics of the book is the application of computer algebra methods for the development of new efficient analytic and numerical solvers, both for ordinary and partial differential equations. A specific feature of the book is a detailed analysis of the advanced software systems like Mathematica, Maple etc. from the viewpoint of their applicability for the solution of scientific computing problems. The book will be useful for researchers and engineers who apply the advanced computer algebra methods for the solution of their tasks.

Table of Contents

Fast Matrix Computation of Subresultant Polynomial Remainder Sequences	1	(12)
Alkiviadis G. Akritas
Gennadi I. Malaschonok
About Simultaneous Representation of Two Natural Numbers by a Sum of Three Primes	13	(8)
I.A. Allakov
M.I. Israilov
On a Description of Irreducible Component in the Set of Nilpotent Leibniz Algebras Containing the Algebra of Maximal Nilindex, and Classification of Graded Filiform Leibniz Algebras	21	(14)
Sh. A. Ayupov
B.A. Omirov
Application of Computer Algebra in Problems on Stabilization of Gyroscopic Systems	35	(14)
Banshchikov Andrey
Bourlakova Larissa
Implementing Computational Services Based on Openmath	49	(12)
Matthias Berth
Frank-Michael Moser
Arrigo Triulzi
Group Classification of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas	61	(8)
Vasiliy V. Bublik
Plotting Functions and Singularities with Maple and Java on a Component-based Web Architecture	69	(12)
Dieter Buhler
Corinne Chauvin
Wolfgang Kuchlin
Stable Self-Oscillatory Regimes in Volterra Models of Three Populations	81	(6)
T.E. Buriev
V.E. Ergashev
Computing ``Small'' 1-Homological Models for Commutative Differential Graded Algebras	87	(14)
CHATA group
Effective computation of algebra of derivations of Lie algebras	101	(12)
L.M. Camacho
J.R. Gomez
R.M. Navarro
I. Rodriguez
An Integration and Reduction for Ordinary Non Linear Differential Equations Library	113	(16)
J. Della Dora
F. Richard-Jung
Complexity of Derivatives Generated by Symbolic Differentiation	129	(16)
Herbert Fischer
Hubert Warsitz
An Assessment of the Efficiency of Computer Algebra Systems in the Solution of Scientific Computing Problems	145	(22)
Victor G. Ganzha
Evgenii V. Vorozhtsov
Michael Wester
On the Relation Between Pommaret and Janet Bases	167	(16)
Vladimir P. Gerdt
An (Asymptotic) Error Bound for the Evaluation of Polynomials at Roots	183	(8)
Manfred Gobel
Three Remarks on Comprehensive Grobner and SAGBI Bases	191	(12)
Manfred Gobel
Patrick Maier
Computing the Cylindrical Algebraic Decomposition Adapted to a Set of Equalities	203	(16)
Neila Gonzalez-Campos
Laureano Gonzalez-Vega
Symbolic Algorithms of Algebraic Perturbation Theory for a Hydrogen Atom: the Stark Effect	219	(14)
Alexander Gusev
Valentin Samoilov
Vitaly Rostovtsev
Sergue Vinitsky
CADECOM: Computer Algebra software for function DECOM position	233	(16)
Jaime Gutierrez
Rosario Rubio
Computeralgebra and the Systematic Construction of Finite Unlabeled Structures	249	(24)
Adalbert Kerber
Heat Invariant E2 for Nonminimal Operator on Manifolds with Torsion	273	(12)
Vladimir V. Kornyak
Computer Algebra for Automated Performance Modeling of Fortran Programs	285	(16)
Hermann Mierendorff
Helmut Schwamborn
A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting	301	(14)
Christian Mittermaier
Wolfgang Schreiner
Franz Winkler
Parametric Analysis for a Nonlinear System	315	(8)
M.A. Novickov
Extended Splicing System and Semigroup of Dominoes	323	(12)
Pethuru Raj
Naohiro Ishii
Newton Polyhedra and the Reversible System of Ordinary Differential Equations	335	(10)
A. Soleev
I. Yarmukhamedov
Condition Analysis of Overdetermined Algebraic Problems	345	(22)
Hans J. Stetter
An Algebraic Approach to Offsetting and Blending of Solids	367	(16)
Thomas Sturm
Application of Computer Algebra Methods to Some Problems of Theoretical and Applied Celestial Mechanics	383	(12)
Akmal Vakhidov
Computing the Frobenius Normal Form of a Sparse Matrix	395	(14)
Gilles Villard
Lessons Learned from Using CORBA for Components in Scientific Computing	409	(14)
Andreas Weber
Gabor Simon
Wolfgang Kuchlin
Jorg Hoss
Deciding Linear-Transcendental Problems	423	(16)
Volker Weispfenning
Author Index	439