CASC CASC 2002
Invited talks
Johannes Grabmeier
University of Applied Sciences
Deggendorf, Germany
Computing Cocycles and Codes
Andreas Weber
Institut für Informatik II
Institut für Informatik II
Institut für Informatik II
Institut für Informatik II
University of Bonn
Bonn, Germany
Symbolic Equilibrium Point Analysis in Parameterized Polynomial Vector Fields
Accepted papers
Antoine Girard Approximate Solutions of OEDs Using Piecewise Linear Vector Fields
Valentin D. Irtegov and Tatyana N. Titorenko On the Properties of Families of First Integrals
Raphael Bomboy Liouvillian Solutions of Ordinary Linear Difference Equations
K. Hantzschmann, O. Becken Algorithms of Computer Analysis for approximate solutions of linear ODEs with polynomial coefficients
R. Gonzales-Diaz, P. Real Geometric Objects and Cohomology Operations
A. Ovchinnikov and A. Zobnin Classification and Applications of Monomial orderings and the Properties of Differential Term-Orderings
E.V. Pankratiev Some approaches to construction of the differential Gröbner bases Some approaches to construction of the differential Gröbner bases
Francois Lemaire Les classements les plus generaux assurant l'analycite des solutions des systemes orthonomes pour des conditions initiales analytiques
Andrey V. Banshchikov Parametric Analysis of Stability Conditions for a Satellite with a Gravitation Stabilizer
V.Y. Pan Can We Optimize Fundamental Computations With Toeplitz/Hankel-like Matrices
Jean-Guillaume Dumas and Gilles Villard Computing the rank of large sparse matrices over finite fields
Raya Khanin On Asymptotic Solutions of Higher-Order Boundary Value Problems
Mark Giesbrecht, Greg Reid, Yang Zhang Non-Commutative Gröbner Bases in Poincare-Birkhoff-Witt extensions Non-Commutative Gröbner Bases in Poincare-Birkhoff-Witt extensions
Guiseppa Carra'Ferro, Vladimir P. Gerdt Extended Characteristic Sets of Finitely Generated Differential Ideals
Victor Edneral and Raya Khanin Multivariate Power Series and Normal Form Calculation in Mathematica
V.V. Kornyak Computation of Cohomology of Lie Algebra of Hamiltonian Vector Fields by Splitting Cochain Complex into Minimal Subcomplexes
Thomas Bayer Moduli Spaces of Low Dimension For Semi Brieskorn-Pham Singularities w.r.t. Right
Alexander Gusev, Nikolai Chekanov, Vitaly Rostovtsev, Yoshio Uwano and Sergue Vinitsky Programs for normalization and quantization of polynomial Hamiltonians
Alexander Gusev, Svetoslav Veselinov, Valentin Samoilov and Pavel Vinitsky A program of modelling and visualization of trajectories of a particle with the variable mass in the field of a massive geoid
Vladimir A. Mityunin , Alexander S. Semenov An Estimation of the Parallelization Quality of the Involutive Basis Computation Algorithm
Thomas Sturm and Volker Weispfenning Quantifier Elimination in Term Algebras. The Case of Finite Languages
Jaime Gutierrez, Rosario Rubio and David Sevilla Computing the Fixing Group of a Rational Function
Gema M. Diaz-Toca and Laureano Gonzalez-Vega Determining Puiseux Expansions by Hensel Lemma and Dynamic Evaluation
Akhmadjon Soleev Newton Polyhedra for Investigation of Complex Bifurcations of Periodic Solutions in some System of ODE
Victor G. Ganzha, Dmytro Chibisov, Evgenii V. Vorozhtsov Computer Algebra in Problem Solving for Computational Fluid Dynamics: Term Rewriting and All That
Michal Mnuk and Gerd Baumann On Structured Representation of Physical Objects
David J. Jeffrey High precision computation of elementary functions in Maple
Anatolii Samoilenko, Alexander Boichuk and Andrij Boichuk Pseudo-inverse matrices and solutions bounded on $R$ of linear and nonlinear systems