RWCA'02 Programm
The Workshop will be held in
Mannheim,
B 6 (street/square),
23-29 (building number),
lecture room A1.01 (building part A, 1st floor).
The registration desk will be in front of the
lecture room.
The dinner will be in walking distance to the lecture room.
A list of hotels near B 6 can be found under
Accomodation.
Thursday, 21. March 2002
- 7.30-9.00
-
Registration
-
9.00-9.15
-
Welcome
-
9.15-10.15, Invited Talk
- A. Cohen,
Mathematics on the Web
-
10.15-10.45
-
Coffee Break
-
10.45-12.15, Geometry
- T. Bayer,
Algorithms for the Computation of moduli spaces for semiquasihomogeneous singularities
- M. Q. Kawakita,
Kummer curves with many rational points
- A. Bruno,
Power Geometry as a new Calculus
-
12.15-13.30
-
Lunch
-
13.30-15.00, Numeric / Computer Science
- H. J. Stetter,
Quasi-univariate Normal Sets for Multivariate Polynomial Ideals
- K. Zehetleitner, K. Schlacher, A. Kugi,
Computer Algebra Methods for Implicit Dynamic Systems and
Applications in Robotics and Electrical Drives
- C. Schneider,
How One Can Play with Sums
-
15.00-15.30
-
Coffee Break
-
15.30-17.30, Linear Systems and Involutive Bases
- A. Holt,
Sparse Linear Systems in Cryptography
- C. Ballarin, M. Kauers,
Solving Parametric Linear Systems: an Experiment with
Constraint Algebraic Prgramming
- V. Marotta, G. Carra-Ferro,
Involutive Division and Involutive Autoreduction
- Y. A. Blinkov, V. P. Gerdt,
Janet Bases of Toric Ideals
-
18.00-19.30
-
Demos and Poster Session
-
20.00-
-
Dinner
Poster Session
- A. Gouaich, Y. Guiraud,
{Movement, Interaction, Calculus}*: an algebraic environment for
distributed and mobile calculus
- R. Kragler,
Extended Method of Inverse Operators to Solve (non-)homogeneous
ODEs and PDEs with Mathematica
- P. Midy, J.-P. Petit,
Investigating the Influence of Extra Dimensions in Cosmology
via Computer Algebra
- A. N. Prokopenya,
Calculation of the Characteristic Exponents for a Hills's Equation
System Demo Session
- I. Dzafic, M. Glavic, S. Tesnjak,
A General Purpose Symbolically-Assisted Numeric Computation
Environment for Engineering Education and Research
- J. de Kleine, M. Monagan,
A Modular Design and Implementation of Buchberger's Algorithm
- F. Piroi, B. Buchberger,
Focus Windows: A New Technique for Proof Presentation
Friday, 22. March 2002
- 8.00-9.00
-
Registration
-
9.00-10.00, Invited Talk
- J.-C. Faugere,
New efficient algorithms for solving polynomial systems
-
10.00-10.30
-
Coffee Break
-
10.30-12.30, Polynomial Systems
- A. Chtcherba, D. Kapur,
A Complete Analysis of Resultants and Extraneous Factors for
Unmixed Bivariate Polynomial Systems using the Dixon formulation
- A. Seidl,
An Efficient Representation of Algebraic Numbers and Polynomials
for Cylindrical Algebraic Decomposition
- H.-G. Gräbe,
The SymbolicData Geometry Collection
- W. Heiß, U. Oberst, F. Pauer,
On dual spaces of polynomial ideals
-
12.30-14.00
-
Lunch
-
14.00-15.30, Gröbner Bases
- A. Zanoni,
Numerical stability in Gröbner basis computation
- R. Steinwandt,
Implicitizing without tag variables
- O. Golubitsky,
Transformation of characteristic sets from one ranking to another
-
15.30-16.00
-
Coffee Break
-
16.00-17.30 Non-commutative Structures
- V. Levandovskyy,
On Gröbner bases for non-commutative G-algebras
- S. A. Abramov, M. van Hoeji,
Sharpening Bounds for the Finite Singularity Set of
Solutions of Difference Equations
- S. H. Murray, A. M. Cohen, D. E. Taylor,
Computation with groups of Lie type
-
17.30
-
Workshop End
as of 11. Mar. 2002