| SESSION ORGANIZERS |
SESSION TITLE AND WEB PAGE (in alphabetical order) |
| Giuseppa Carra Ferro |
Algebraic Tools for Differential Equations
|
| Matu-Tarow Noda, Tateaki Sasaki, Kiyoshi Shirayanagi |
Approximate Algebraic
Computation and
Stabilization
|
| Tomas Recio |
Automatic Theorem Proving
|
| Alain Albouy, Dieter Schmidt |
Celestial Mechanics
|
| F.J. Castro-Jiménez, M.I. Hartillo-Hermoso, J.M. Ucha |
Comb. and Comp. Methods in Algebraic Geometry and Singularities
|
| Thomas Sturm |
Computational
Quantifier Elimination
|
| Takis Sakkalis |
Computer Algebra and CAGD
|
| Alkis Akritas, Natasha Malaschonok, Bill Pletsch, Michael Wester |
Computer Algebra in Education
|
| Victor Edneral, E. Grebennikov, Nikolay Vassiliev |
Dynamical Systems and Mechanics
|
| Elizabeth Arnold, Patrizia Gianni, Ilias S. Kotsireas |
Gröbner Bases and Applications |
| Gerd Baumann, Victor Ganzha, Raya Khanin, Ernst W. Mayr |
Industrial and Engineering Applications of Computer Algebra
|
| Michael Wester |
Mathematical Implementations
|
| Vladimir Gerdt, Alexander Prokopenya |
Mathematical Physics and Control Theory
|
| Andres Iglesias |
New Developments in Mathematica
|
| Ioannis Emiris, André Galligo, Ilias S. Kotsireas |
Numeric-Symbolic methods in Physical Modeling |
| Eugenio Roanes-Lozano, Michael Wester |
Nonstandard Applications
|
| Mark Giesbrecht, David Saunders, Arne Storjohann |
Symbolic and Exact Linear Algebra
|
| Alkis Akritas, Elias Houstis |
Symbolic-Numerical Methods in Computational Science
|
| Stanly Steinberg |
Young Researchers Invitational Session
|
