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
width:294pt'>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 |
width:148pt'>Norbert Südland, Gerd Baumann and Theo F. Nonnenmacher
width:148pt'>Norbert Südland, Gerd Baumann and Theo F. Nonnenmacher
width:148pt'>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 |
|
|