ISBN: 354066047X
TITLE: Computer Algebra in Scientific Computing. CASC'99
AUTHOR: Ganzha, Victor G.; Mayr, Ernst W.; Vorozhtsov, Evgenii V. (Eds.)
TOC:

Solution of Ordinary Differential Equations with MathLie 1
Gerd Baumann
Analysis of Stability of Rational Approximations through Computer Algebra 25
Massimo Cafaro, Beatrice Paternoster
An Automatic Symbolic-Numeric Taylor Series ODE Solver 37
Brian J. Dup, James H. Davenport
About Normal Form Method 51
Victor F. Edneral
Computer Algebra Investigation of Equivalence in 4-node Plane Stress/Strain Finite Elements 67
Anders Eriksson, Yunhua Luo, Costin Pacoste
Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses 81
Jean-Charles Faugre and Ilias Kotsireas
Symbolic Derivation of Different Class of High-order Compact Schemes for Partial Differential Equations 93
Michel Fourni
Implementation of Aerodynamic Computations with Mathematica 101
Victor G. Ganzha, Evgenii V. Vorozhtsov
Completion of Linear Differential Systems to Involution 115
Vladimir P. Gerdt
Constrained Hamiltonian Systems and Gr. obner Bases 139
Vladimir P. Gerdt, Soso A. Gogilidze
Construction of Involutive Monomial Sets for Different Involutive Divisions 147
Vladimir P. Gerdt, Vladimir V. Kornyak, Matthias Berth, G.unter Czichowski
Partial Inverse Heuristic for the Approximate Solution of Non-linear Equations 159
Gaston H. Gonnet, Allan Bonadio
Computing Cocycles on Simplicial Complexes 177
Roco Gonzlez Daz, Pedro Real
Bifurcations of Maps in the Software Package 191
W. Govaerts, Yu. A. Kuznetsov and B. Sijnave
Extending a Java Based Framework for Scientific Software-Components 207
Manfred Gbel, Wolfgang K. uchlin, Stefan M. uller, and Andreas Weber
Symbolic-numeric Investigations for Stability Analysis of Satellite Systems 223
Sergey A.Gutnik
Quantization by Presentation The Nambu-Goto String in 1+3 Dimensions 229
Gerrit Handrich
One Algorithm of Finding Solutions for the Systems with First Integrals 233
Valentin Irtegov, Tatyana Titorenko
Cohomology of Lie Superalgebras of Hamiltonian Vector Fields: Computer Analysis 241
Vladimir V. Kornyak
Computer Algebra Tools in Construction of Renormgroup Symmetries 251
Vladimir F. Kovalev
Where Numerics Can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows 269
Richard Liska, Burton Wendroff
Effectively Computation of Some Radicals of Submodules of Free Modules 287
Agustn Marcelo, Flix Marcelo, Csar Rodrguez
Computations on Character Tables of Association Schemes 293
Edgar Martnez-Moro
Investigation of Subgroup Embeddings by the Computer Algebra Package GAP 309
V.I. Mysovskikh
An Investigation into Stability of Conservative Mechanical Systems Using Analytic Calculations 317
M.A. Novickov
Superfast Computations with Singular Structured Matrices over Abstract Fields 323
V. Y. Pan, A. Zheng, M. Abu Tabanjeh, Z. Chen, S. Providence
From Modeling to Simulation with Symbolic Computation: An Application to Design and Performance Analysis of Complex Optical Devices 339
Yves A. Papegay
A Symbolic Numeric Environment for Analyzing Measurement Data in Multi-Model Settings (Extended Abstract) 343
Christoph Richard and Andreas Weber
Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems 349
E. Roanes-Lozano, E. Roanes-Macas, L. M. Laita
Indices and Solvability for General Systems of Differential Equations 365
Werner M. Seiler
Decomposing Systems of Polynomial Equations 387
Rainer Steinwandt
Polynomials with Coeficients of Limited Accuracy 409
Hans J. Stetter
Localization of Roots of a Polynomial not Represented in Canonical Form 431
Alexei Yu. Uteshev
On Normalization of a Class of Polynomial Hamiltonians: From Ordinary and Inverse Points of View 441
Yoshio Uwano, Nikolai Chekanov, Vitaly Rostovtsev, Sergue Vinitsky
On Multivariate Polynomial Decomposition 463
Joachim von zur Gathen, Jaime Gutierrez, Rosario Rubio
Complexity of Monomial Evaluations and Duality 479
Nikolai N. Vassiliev
On the Simplification of Nonlinear DAE Systems in Analog Circuit Design 485
Tim Wichmann, Ralf Popp, Walter Hartong, Lars Hedrich
Symbolic Analysis of Computational Algorithms with SYDNA 499
Radu Zapotinschi
END
