Computer Algebra in Scientific Computing: Casc 2001 : Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

by Ganzha, V. G.; Mayr, Ernst W.; Vorozhtsov, E. V.

• ISBN13: 9783540423553
• ISBN10: 3540423559
• Edition: 1st
• Format: Hardcover
• Copyright: 2001-09-01
• Publisher: Springer Verlag

Table of Contents

Jets. A Maple-Package for Formal Differential Geometry	1	(12)
Mohamed Barakat
Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloys	13	(12)
Thomas Bayer
A MuPAD Library for Differential Equations	25	(18)
Jay Belanger
Marcus Hausdorf
Werner M. Seiler
Algebraic Identification Algorithm and Application to Dynamical Systems	43	(20)
Farida Benmakrouha
Christiane Hespel
Gerard Jacob
Edouard Monnier
Cooperation Between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery	63	(12)
Francisco Botana
Jose L. Valcarce
On the Stability of Steady Motions of a Solar-Sail Satellite	75	(8)
Larissa Bourlakova
Application of Computer Algebra for Investigation of a Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas	83	(8)
Vasiliy V. Bublik
Mathematica and Nilpotent Lie Superalgebras	91	(16)
L.M. Camacho
J.R. Gomez
R.M. Navarro
I. Rodriguez
Neighborhoods of an Ordinary Linear Differential Equation	107	(16)
Giuseppa Carra Ferro
Valentina Marotta
Invariants of Finite Groups and Involutive Division	123	(14)
C. F. Cid
W. Plesken
Symbolic Computation and Boundary Conditions for the Wave Equation	137	(12)
A. S. Deakin
H. Rasmussen
Parametric Systems of Linear Congruences	149	(18)
Andreas Dolzmann
Thomas Sturm
Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System	167	(10)
Victor F. Edneral
An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations	177	(10)
Joachim Engelmann
Gerd Baumann
Recurrence Functions and Numerical Characteristics of Graphs	187	(8)
Gani E. Ergashev
Ulugbek H. Narzullaev
A New Combinatorial Algorithm for Large Markov Chains	195	(18)
Anna Gambin
Piotr Pokarowski
GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing	213	(20)
Victor G. Ganzha
Dmytro Chibisov
Evgenii V. Vorozhtsov
Construction of Janet Bases I.Monomial Bases	233	(16)
Vladimir P. Gerdt
Yuri A. Blinkov
Denis A. Yanovich
Construction of Janet Bases II.Polynomial Bases	249	(16)
Vladimir P. Gerdt
Yuri A. Blinkov
Denis A. Yanovich
Low-Dimensional Quasi-Filiform Lie Algebras with Great Length	265	(18)
J. R. Gomez
A. Jimenez-Merchan
J. Reyes
Algebraic Methods for Sectioning Parametric Surfaces	283	(14)
Jesus Espinola
Laureano Gonzalez-Vega
Ioana Necula
The Methods of Computer Algebra and the Arnold-Moser Theorem	297	(12)
E.A. Grebenikov
Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge	309	(14)
Alexander Gusev
Valentin Samoilov
Vitaly Rostovtsev
Sergue Vinitsky
Perturbation versus Differentiation Indices	323	(16)
Marcus Hausdorf
Werner M. Seiler
Employment of the Grobner Bases in Analysis of Systems Having Algebraic First Integrals	339	(8)
Valentin Irtegov
Tatyana Titorenko
``Coalgebra'' Structures on 1-Homological Models for Commutative Differential Graded Algebras	347	(16)
M. J. Jimenez
P. Real
Conservative Finite Difference Schemes for Cosymmetric Systems	363	(14)
Bulent Karasozen
Vyacheslav G. Tsybulin
A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems	377	(14)
Raya Khanin
A New Algorithm for Computing Cohomologies of Lie Superalgebras	391	(8)
Vladimir V. Kornyak
Parallel Computing with Mathematica	399	(2)
Roman Mader
Solution of Systems of Linear Diophantine Equations	401	(16)
Gennadi I. Malaschonok
SYMOPT: Symbolic Parametric Mathematical Programming	417	(14)
Isolde Mazzucco
Representing Graph Properties by Polynomial Ideals	431	(14)
Michal Mnuk
Parametric G1-Blending of Several Surfaces	445	(16)
Sonia Perez-Diaz
Rafael Sendra
A Method of Logic Deduction and Verification in KBS Using Positive Integers	461	(16)
E. Roanes-Lozano
E. Roanes-Macias
L.M. Laita
Progressive Long Waves on a Slope (A New Solution to the Euler Equation?)	477	(14)
Alexander Shermenev
The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms	491	(8)
Akhmadjon Soleev
Adizjon S. Barotov
Algebraic Predicates for Empirical Data	499	(14)
Hans J. Stetter
Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients	513	(16)
Norbert Sudland
Gerd Baumann
Theo F. Nonnenmacher
Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space	529	(12)
Serguei P. Tsarev
Semilinear Motion Planning Among Moving Objects in REDLOG	541	(14)
Volker Weispfenning
Author Index	555