Thursday - Oct 05, 2000: Morning Session | |
---|---|

Symbolic-Numeric Computations | |

Chair: E.V. Vorozhtsov | |

09:00 am | Computer Algebra for Automated Performance Modeling of Fortran Programs. Hermann Mierendorff and Helmut Schwamborn |

09:40 am | A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting. Christian Mittermaier, Wolfgang Schreiner and Franz Winkler |

10:10 am | Coffee break |

11:00 am | Opening ceremony. Prof. E.W. Mayr, Prof. A. Soleev |

11:20 am | Condition Analysis of Overdetermined Algebraic Problems . Hans J. Stetter |

01:00 pm | Lunch |

Thursday - Oct 05, 2000: Afternoon Session | |

Computer Algebra and Software | |

Chair: E.W. Mayr | |

02:30 pm | Deciding Linear-Transcendental Problems. Volker Weispfenning |

03:10 pm | Effective Computation of Algebra of Derivations of Lie Algebras. L.M. Camacho, J.R. Gómez, R.M. Navarro and I. Rodríguez |

03:40 pm | Coffee break |

04:00 pm | Computing ``Small'' 1--Homological Models for Commutative Differential Graded Algebras. CHATA group of Seville |

04:40 pm | CADECOM: Computer Algebra software for functional DECOMposition. Jaime Gutierrez and Rosario Rubio |

05:30 pm | Plotting Functions and Singularities with Maple and Java on a Component-based Web Architecture. Dieter Bühler, Corinne Chauvin and Wolfgang Küchlin |

Friday - Oct 06, 2000: Morning Session | |

Problem Solving in Scientific Computing | |

Chair: V. Gerdt | |

09:00 am | Lessons Learned from Using CORBA for Components in Scientific Computing. Andreas Weber, Gabor Simon, Wolfgang Küchlin and Jörg Hoss |

09:40 am | An Assessment of the Efficiency of Computer Algebra Systems in the Solution of Scientific Computing Problems . Victor G. Ganzha, Evgenii V. Vorozhtsov and Michael Wester |

10:20 am | Group Classification of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas. Vasiliy V. Bublik |

11:00 am | Coffee break |

11:30 am | Computing the Frobenius Normal Form of a Sparse Matrix. Gilles Villard |

12:10 pm | Complexity of Derivatives Generated by Symbolic Differentiation. Herbert Fischer and Hubert Warsitz |

01:00 pm | Lunch |

Friday - Oct 06, 2000: Afternoon Session | |

Polynomial Bases and ODEs | |

Chair: V. Weispfenning | |

02:30 pm | On the Relation Between Pommaret and Janet Bases. Vladimir P. Gerdt |

03:10 pm | Three Remarks on Comprehensive Gröbner and SAGBI Bases. Manfred Göbel and Patrick Maier |

03:40 pm | Coffee break |

04:00 pm | An Integration and Reduction for Ordinary Non Linear Differential Equations Library. J. Della Dora and F. Richard-Jung |

04:40 pm | Newton Polyhedra and the Reversible System of Ordinary Differential Equations. A. Soleev and I. Yarmukhamedov |

Saturday - Oct 07, 2000: Morning Session | |

Applications of CAS | |

Chair: R. Kragler | |

09:00 am | Computer Algebra Approach to Solving Singularly Perturbed Initial Value Problems. Raya Khanin |

09:40 am | Application of Computer Algebra Methods to Some Problems of Theoretical and Applied Celestial Mechanics. Akmal Vakhidov |

10:20 am | Parametric Analysis for a Nonlinear System . M.A.Novickov |

11:00 am | Coffee break |

11:30 am | An Algebraic Approach to Offsetting and Blending of Solids. Thomas Sturm |

12:10 pm | Heat Invariant $E_2$ for Nonminimal Operator on Manifolds with Torsion . Vladimir V. Kornyak |

01:00 pm | Lunch |

02:30 pm | Sightseeing tour in Samarkand |

Sunday - Oct 08, 2000: Morning Session | |

Computer Algebra Algoritdms and Software | |

Chair: A. Soleev | |

09:00 am | Fast Matrix Computation of Subresultant Polynomial Remainder Sequences. Alkiviadis G. Akritas and Gennadi I. Malaschonok |

09:40 am | About Simultaneous Representation of Two Natural Numbers by Sum of Three Primes. I.A. Allakov and M.I. Israilov |

10:20 am | On a Description of Irreducible Component in the Set of Nilpotent Leibniz Algebras, Containing the Algebra of Maximal Nilindex, and Classification of Graded Filiform Leibniz Algebra. Sh.A.Ayupov and B.A.Omirov |

11:00 am | Coffee break |

11:30 am | Data-structures and Algorithms for Timed Polyhedra. Olivier Bournez, Moez Mahfoudh and Oded Maler |

12:10 pm | Computing the Cylindrical Algebraic Decomposition Adapted to a Set of Equalities. Neila González-Campos and Laureano González-Vega |

01:00 pm | Lunch |

Sunday - Oct 08, 2000: Afternoon Session | |

Applications of CAS | |

Chair: F. Winkler | |

02:30 pm | On Controller Synthesis for Hybrid Systems. Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler and Amir Pnueli |

03:10 pm | Application of Computer Algebra in Problems on Stabilization of Gyroscopic Systems. Banshchikov Andrej and Bourlakova Larissa |

04:00 pm | Coffee break |

04:30 pm | Stable Self-Oscillatory Regims in Volterra Models of Three Populations. T.E.Buriev and V.E.Ergashev |

05:20 pm | Symbolic Algorithms of Algebraic Perturbation Theory for a Hydrogen Atom: the Stark Effect. Alexander Gusev, Valentin Samoilov, Vitaly Rostovtsev and Sergue Vinitsky |

Monday - Oct 09, 2000: Morning Session | |

Applications, Short Talks | |

Chair: A. Weber | |

09:00 am | Computeralgebra and the Systematic Construction of Finite Unlabeled Structures. Adalbert Kerber |

09:35 am | Several Educational Projects Are Going to Establish Virtual Universities in Germany. Ralf Steinbrüggen |

09:55 am | A Method of Optimal Damping in Terminal Control Problem. I. Israilov |

10:10 am | On the Subgroup of the Group $GL(2,{\bf Z}/p^n{\bf Z})$. Ulugbek Narzullaev |

10:25 am | Method of Inverse Operators for Solving ODEs of Type X(D)[y(x)]=g(x) Implemented in Mathematica. Robert Kragler |

10:40 am | The estimate of the accuracy of difference schemes for singularly - perturbed $\,2^{nd}\,$ order hyperbolic equation in the class $\,W_2^2(Q)\,$. I.N.Djuraev |

10:55 am | Investigation of method Rote for boundary inverse problems of oscillation string in class $\;W_2^2(Q).$. I.N.Djuraev and N.N.Nizamova |

11:10 am | Regularization of a Solution to the Cauchy Problem for the System of Elasticity. I.E. Niyozov |

11:25 am | Construction of Approximate Solution to the Cauchy Problem for the System of Thermoelasticity. O.I. Makhmudov |

11:45 am | Lunch |

01:00 pm | Departure to Bukhara |

Tuesday - Oct 10, 2000: Workshop in Bukhara | |
---|---|

Problem Solving Environments for Differential Equations | |

Chair: Stanly Steinberg | |

09:00 am | SciNapse: A Problem Solving Environment. Stanly Steinberg |

10:10 am | Tutorial on Symbolic Solutions of Differential Equations with Mathematica V4. Robert Kragler |

11:40 am | t.b.a. N.N. |