| |
|
Page |
HTML |
PostScript |
PDF |
| 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 |
|
|
|
