CASC C ASC 2002

Ordering information

Proceedings of the conference are still available for purchase for EUR 30 per copy (+shipping). Send your order by email to casc@in.tum.de.

Contents

    Page
Preface   ii
Workshop Organization   iii
Parametric Analysis of Stability Conditions for a Satellite with a Gravitation Stabilizer Andrey V. Banshchikov 1-6
Moduli Spaces of Low Dimension for Semi Brieskorn-Pham Singularities w.r.t. Right Equivalence Thomas Bayer 7-16
Liouvillian Solutions of Ordinary Linear Difference Equations Raphaël Bomboy 17-28
Extended Characteristic Sets of Finitely Generated Differential Ideals Giuseppa Carra'Ferro, Vladimir P. Gerdt 29-36
Determining Puiseux Expansions by Hensel's Lemma and Dynamic Evaluation Gema Diaz-Toca, Laureano Gonzalez-Vega 37-46
Computing the Rank of Large Sparse Matrices over Finite Fields Jean-Guillaume Dumas, Gilles Villard 47-62
Multivariate Power Series and Normal Form Calculation in Mathematica Victor Edneral, Raya Khanin 63-70
Symbolic Equilibrium Point Analysis in Parameterized Polynomial Vector Fields M'hammed El Kahoui, Andreas Weber 71-84
Computer Algebra in Problem Solving for Computational Fluid Dynamics: Term Rewriting and All That Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov 85-96
Non-Commutative Gröbner Bases in Poincaré-Birkhoff-Witt Extensions Non-Commutative Gröbner Bases in Poincaré-Birkhoff-Witt Extensions Mark Giesbrecht, Greg Reid, Yang Zhang 97-106
Approximate Solutions of ODEs Using Piecewise Linear Vector Fields Antoine Girard 107-120
Geometric Objects and Cohomology Operations R. González-Díaz, P. Real 121-130
The Algebraic Problems Tied With Generalized Krylov - Bogolyubov Equation E.A. Grebenikov, M. Jakubia, D. Kozak-Skoworodkin 131-136
Programs of Modelling and Visualization Alexander Gusev, Svetoslav Veselinov, Valentin Samoilov, Pavel Vinitsky 137-146
The Programs for Normalization and Quantization of Polynomial Hamiltonians Alexander Gusev, Nikolai Chekanov, Vitaly Rostovtsev, Yoshio Uwano 147-158
Computing the Fixing group Jaime Gutierrez, Rosario Rubio, David Sevilla 159-164
Algorithms of Computer Analysis for Approximate Solutions of Linear ODEs with Polynomial Coefficients K. Hantzschmann, O. Becken 165-174
On the Properties of Families of First Integrals Valentin Irtegov, Tatyana Titorenko 175-182
High Precision Computation of Elementary Functions in Maple D.J. Jeffrey 183-190
On Asymptotic Solutions of Higher-Order Boundary Value Problems Raya Khanin 191-200
Computation of Cohomology of Lie Algebra of Hamiltonian Vector Fields by Splitting Cochain Complex into Minimal Subcomplexes Vladimir V. Kornyak 201-206
Les Classements les Plus Généraux Assurant l'Analycité des Solutions des Systémes Orthonomes pour des Conditions Initiales Analytiques François Lemaire 207-220
An Estimation of the Parallelization Quality of the Involutive Basis Computation Algorithm\thanks V.A. Mityunin, A.S. Semenov 221-226
On Structured Representation of Physical Objects Michal Mnuk, Gerd Baumann 227-236
Classification and Applications of Monomial Orderings and the Properties of Differential Orderings A. Ovchinnikov, A. Zobnin 237-252
Can We Optimize Toeplitz/Hankel Computations? V. Y. Pan 253-264
Some Approaches to Construction of Standard Bases in Commutative and Differential Algebra E.V. Pankratiev 265-268
Pseudo-Inverse Matrices and Solutions Bounded on $R$ of Linear and Nonlinear Systems Anatolii Samoilenko, Alexander Boichuk, Andrij Boichuk 269-278
Newton Polyhedra for Investigation of Complex Bifurcations of Periodic Solutions in Some System of ODEs Akhmadjon Soleev 279-284
Quantifier Elimination in Term Algebras (The Case of Finite Languages) Thomas Sturm, Volker Weispfenning 285-300

Bibliographic entry

@Proceedings{CASC02,
  Title          = {Computer Algebra in Scientific Computing, CASC 2002.
                   Proceedings of the Fifth International Workshop on
                   Computer Algebra in Scientific Computing, Yalta,
                   Ukraine},
  Editor         = {Ganzha, V.G. and Mayr, E.W. and Vorozhtsov, E.V.},
  Publisher      = {Technische Universit\"at M\"unchen, Germany},
  month          = sep,
  isbn           = {3-9808546-0-4},
  year           = 2002,
}