Home |
About icms |
Program |
Registration/accommodations |
Contact information |
Social activities |
About Kobe/Access |
Bulletin board
LIST OF SESSIONS
This congress is comprised of some sessions devoted to different Mathematical
Software issues as well as a general track . As a rule, the general track will
consist of all accepted papers/presentations which do not belong to any of the
sessions listed below.
____________________________________________________________________________
Title: Computational group theory
Organizer: Bettina Eick, Steve Linton
____________________________________________________________________________
Title: Computation of special functions
Organizer: Bruno Salvy
____________________________________________________________________________
Title: Computer algebra and reliable computing
Organizer: Joris van der Hoeven, Nathalie Revol
____________________________________________________________________________
Title: Computer tools for mathematical editing and scientific visualization
Organizer: Andres Iglesias, Setsuo Takato
____________________________________________________________________________
Title: Exact numeric computation for algebraic and geometric computation
Organizer: Chee Yap, Michael Sagraloff, Monique Teillaud
____________________________________________________________________________
Title: Formal proof
Organizer: John Harrison, Freek Wiedijk
____________________________________________________________________________
Title: Geometry and visualization
Organizer: Tim Hoffmann, Wayne Rossman
____________________________________________________________________________
Title: Groebner bases and applications
Organizer: Anne Fruehbis-Krueger, Hidefumi Ohsugi
____________________________________________________________________________
Title: Number theoretical software
Organizer: Shigenori Uchiyama, Ken Nakamula, Michael Pohst
____________________________________________________________________________
Title: Software for optimization and polyhedral computation
Organizer: Achill Schuermann, Komei Fukuda, Michael Joswig
____________________________________________________________________________
Title: Poster session
Organizer: Raimundas Vidunas
____________________________________________________________________________