Computer Algebra in Scientific Computing, CASC'99 : Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May 31-June 4, 1999

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

• ISBN13: 9783540660477
• ISBN10: 354066047X
• Format: Hardcover
• Copyright: 1999-07-01
• Publisher: Springer Verlag

Summary

Contains papers submitted by the participants of the workshop, as well as two invited papers. Proceedings cover various topics of computer algebra methods, algorithms and software applied to scientific computing.

Table of Contents

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