| Saturday - Sep 22, 2001: Afternoon Session 1 | |
|---|---|
| Application of CAS | |
| Chair: R. Kragler | |
| 14:00 pm | Opening ceremony. Prof. E.W. Mayr, Prof. V.P. Gerdt |
| 14:30-14:55 pm | Semilinear Motion Planning Among Moving Objects in REDLOG. Volker Weispfenning |
| 15:00-15:25 pm | Algebraic Identification Algorithm and Application to Dynamical Systems. F. Benmakrouha, C. Hespel, G. Jacob, E. Monnier |
| 15:30-15:55 pm | Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals. V. Irtegov, T. Titorenko |
| 16:00-16:20 pm | Coffee break |
| 16:30-16:55 pm | A New Combinatorial Algorithm for Large Markov Chains. A. Gambin, P. Pokarowski |
| 17:00-17:25 pm | Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge. A. Gusev, V. Samoilov, V. Rostovtsev, S. Vinitsky |
| 17:30-17:55 pm | Solution of Systems of Linear Diophantine Equations. G.I. Malaschonok |
| Sunday - Sep 23, 2001: Morning Session 2 | |
| Computer Algebra Algorithms and Software | |
| Chair: R. Liska | |
| 09:00-09:55 am | Plenary Talk: Special Functions, Computer Algebra and Experimental Mathematics. M. Trott/WRI |
| 10:00-10:25 am | Parametric G1-Blending of Several Surfaces. S. Pérez-Díaz, R. Sendra |
| 10:30-10.55 am | Mathematica and Nilpotent Lie Superalgebras. L.M. Camacho, J.R. Gómez, R.M. Navarro, I. Rodríguez |
| 11:00-11:20 am | Coffee break |
| 11:30-11:55 am | Parametric Systems of Linear Congruences. A. Dolzmann, T. Sturm |
| 12:00-12:25 pm | Invariants of Finite Groups and Involutive Division. C.F. Cid, W. Plesken |
| 12:30-12:55 pm | Recurrence Functions and Numerical Characteristics of Graphs. G.E. Ergashev, U.H. Narzullaev |
| Sunday - Sep 23, 2001: Afternoon Session 3 | |
| Problem Solving in Scientific Computing | |
| Chair: E. Vorozhtsov | |
| 14:30-14:55 pm | Symbolic Computation and Boundary Conditions for the Wave Equations. A.S. Deakin, H. Rasmussen |
| 15:00-15:25 pm | Cooperation Between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery. F. Botana, J.L. Valcarce |
| 15:30-15:55 pm | Application of Computer Algebra for Investigation of a Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas. V.V. Bublik |
| Monday - Sep 24, 2001: Morning Session 4 | |
| Problem Solving in Scientific Computing | |
| Chair: V.P. Gerdt | |
| 09:00-09:55 am | Plenary Talk: Parallel Computing with Mathematica. R. Mäder/MathConsult TBA |
| 10:00-10:25 am | Jets: A MAPLE-Package for Formal Differential Geometry. M. Barakat |
| 10:30-10:55 am | GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing. V.G. Ganzha, D.C. Chibisov, E.V. Vorozhtsov |
| 11:00-11:20 am | Coffee break |
| 11:30-11:55 am | Algebraic Methods for Sectioning Parametric Surfaces. J. Espinola, L. Gonzalez-Vega, I. Necula |
| 12:00-12:25 pm | Conservative Finite Difference Schemas for Cosymmetric Systems. B. Karasözen, V.G. Tsybulin |
| 12:30-12:55 pm | Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloys. T. Bayer |
| Monday - Sep 24, 2001: Afternoon Session 5 | |
| Polynomial Bases and Differential Equations | |
| Chair: E.W. Mayr | |
| 14:30-14:55 pm | Neighbourhoods of an Ordinary Linear Differential Equation. G. Carra Ferro, V. Marotta |
| 15:00-15:25 pm | Construction of Janet Bases I.Monomial Bases. V.P. Gerdt, Y.A. Blinkov, D.A. Yanovich |
| 15:30-15:55 pm | Construction of Janet Bases II.Polynomial Bases. V.P. Gerdt, Y.A. Blinkov, D.A. Yanovich |
| 16:00-16:20 pm | Coffee break |
| 16:30-16:55 pm | The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanism. A. Soleev, A.S. Barotov |
| 17:00-17:25 pm | Perturbation versus Differentiation Indices. M. Hausdorf, W.M. Seiler |
| 17:30-17:55 pm | Representing Graph Properties by Polynomial Ideals. M. Mnuk |
| Tuesday - Sep 25, 2001: Morning Session 6 | |
| Application of CAS | |
| Chair: H. Bungartz | |
| 09:00-09:55 am | Plenary Talk:Industrial Application of Computer Algebra Simulation. S. Braun/Visual Analysis AG |
| 10:00-10:25 am | On the Stability of Steady Motions of a Solar-Sail Satellite. L. Bourlakova |
| 10:30-10:55 am | A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems. R. Khanin |
| 11:00-11:20 pm | Coffee break |
| 11:30-11:55 am | Bifurcation Analysis of Low Resonant Case of the Generalized Henon-Heiles System. V.F. Edneral |
| 12:00-12:25 am | Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients. N. Südland, G. Baumann, T.F. Nonnenmacher |
| 12:30-12:55 am | The Methods of Computer Algebra and the Arnold-Moser Theorem. E.A. Grebenikov |
| Tuesday - Sep 25, 2001: Afternoon Session 7 | |
| PDE's and Nonstandard Applications | |
| Chair: S. Braun | |
| 14:30-14:55 pm | Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space. S.P. Tsarev |
| 15:00-15:25 pm | An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations. J. Engelmann, G. Baumann |
| 15:30-15:55 pm | Progressive Long Waves (A New Solution to the Euler Equation?). A. Shermenev |
| 16:00-16:20 pm | Coffee break |
| 16:30-16:55 pm | A Method of Logic Deduction and Verification in KBS Using Positive Integers. E. Roanes-Lozano, E. Roanes-Macías, L.M. Laita |
| 17:00-17:25 pm | Algebraic Predicates for Empirical Data. H.J. Stetter |
| 17:30-17:55 pm | SYMOPT: Symbolic Parametric Mathematical Programming. I. Mazzucco |
| Wednesday - Sep 26, 2001: Morning Session 8 | |
| Computer Algebra Algorithms and Software | |
| Chair: A. Dolzmann | |
| 09:00-09:25 am | "Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras. M.J. Jiménez, P. Real |
| 09:30-09:55 am | Low-Dimensional Quasi-Filiform Lie Algebras with Great Length. J.R. Gómez, A. Jiménez-Merchán, J. Reyes |
| 10:00-10:25 am | A MuPAD Library for Differential Equations. J. Belanger, M. Hausdorf, W.M. Seiler |
| 10:30-10:55 am | A New Algorithm for Computing Cohomologies of Lie Superalgebras. V.V. Kornyak |
| 11:00-11:20 pm | Coffee break |
| 11:30-11:55 am | Short Talks. N.N. |