Accepted Papers CASC 2001
Authors	Title
Mohamed Barakat	Computer Algebra in Scientific Computing: Jets. A Maple-Package for Differential Geometry
Thomas Bayer	Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloys
Jay Belanger, Marcus Hausdorf and Werner M. Seiler	A MuPAD Library for Differential Equations*
Farida Benmakrouha, Christiane Hespel, Gerard Jakob and Edouard Monnier	Algebraic Identification algorithm and application to dynamical systems
Francisco Botana and Jose L. Valcarce	Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery
Larissa Bourlakova	On stability of steady motions of a solar-sail satellite
Vasiliy V. Bublik	Application of Computer Algebra for Investigation of a Group Properties of the Navier-Stokes Equations for Compressible viscous Heat-Conducting Gas
L. M. Camacho, J. R. Gomez, R. M. Navarro and I. Rodriguez	Mathematica and Nilpotent Lie Superalgebras
Giuseppa Carra Ferro and Valentina Marotta	Neighborhoods of an Ordinary Linear Differential Equation
C. F. Cid and Wilhelm Plesken	Invariants of finite groups and involutive division
A. S. Deakin and H. Rasmussen	Symbolic Computation and Boundary Conditions for the Wave  Equation
Andreas Dolzmann and Thomas Sturm	Parametric Systems of Linear Congruences
Victor Edneral	Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System
Joachim Engelmann and Gerd Baumann	An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations
Gani E. Ergashev and Ulugbek H. Narzullaev	Recurrent Functions and Numerical Characteristics of Graphs
Anna Gambin and Piotr Pokarowski	A New Combinatorial Algorithm for Large Markov Chains (Extended Abstract)
Victor Ganzha, Dmytro Chibisov and Evgenii Vorozhtsov	GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing
Vladimir P. Gerdt, Yuri A. Blinkov and Denis A. Yanovich	Construction of Janet Bases I.Monomial Bases
Vladimir P. Gerdt, Yuri A. Blinkov and Denis A. Yanovich	Construction of Janet Bases II.Polynomial Bases
J. R. Gomez, A. Jimenez-Merchan and J. Reyes	Low-Dimensional Quasi-Filiform Lie-Algebras with Great Length
Laureano Gonzalez-Vega, Jesus Espinola and Ioana Necula	Algebraic Methods for Sectioning Parametric Surfaces
E. A. Grebenikov	The methods of computer algebra and the theorem of Arnold - Mozer
Alexander Gusev, Valentin Samoilov, Vitaly Rostovtsev and Sergue Vinitsky	Symbolic Algorithms of Algebraic Perturbation Theory: a Hydrogen Atom in the Field of Distant Charge
Marcus Hausdorf and Werner M. Seiler	Perturbation versus Differentiation Indices
Valentin D. Irtegov and Tatyana N. Titorenko	Employment of the Gröbner Bases in Analysis of Systems Having First Algebraic Integrals
M. J. Jimenez and Pedro Real	"Coalgebra" Structures on 1-Homology of Commutative Differential Graded Algebras
Bulent Karasozen and Vyacheslav G. Tsybulin	Conservative Finite Difference Schemes for Cosymmetric Systems
Raya Khanin	A Mathematical Solver for Two-Point Singularity-Perturbed Boundary Value Problems
Vladimir V. Kornyak	A New Algorithm for Computing Cohomologies of Lie Superalgebras
Gennadi I. Malaschonok	Solution of Systems of Linear Diophantine Equations
Isolde Mazzucco	SYMOPT - Symbolic Parametric Mathematical Programming
Michal Mnuk	Representing Graph Properties by Polynomial Ideals
Sonia Perez-Diaz and Rafael J. Sendra	Parametric G^1 Blending of Several Surfaces
Eugenio Roanes-Lozano, E. Roanes-Macias and L. M. Laita	A Method of Logic Deduction and Verification in KBS using Positive Integers
Alexander Shermenev	PROGRESSIVE LONG WAVES ON A SLOPE (A new solution to the Euler equation?)
Akhmadjon Soleev and Adizjon S. Barotov	The Method of Newton Polyhedron and Special Positions of Some Mechanisms
Hans J. Stetter	Algebraic Predicates for Empirical Data
Norbert Südland, Gerd Baumann and Theo F. Nonnenmacher	Fractional Driftless Fokker-Planck Equations with Power Law Diffusion Coefficients
Serguei P. Tsarev	Factorization of overdetermined systems of linear PDEs with finite-dimensional solution space
Volker Weispfennig	Semilinear Motion Planning Among Moving Objects in REDLOG