Home | About icms | Program | Registration/accommodations | Contact information | Social activities | About Kobe/Access | Bulletin board

Session title

Computer algebra and reliable computing


Joris van der Hoeven (U. Paris-Sud)
Nathalie Revol (Ecole Normale Superieure de Lyon)


computer algebra, symbolic computation, reliable computation, interval arithmetic


This session will contain presentations of computer algebra systems and libraries, as well as systems for reliable numerical computation. The combination of both themes is motivated by the increasing number of interactions between mathematically correct computations in algebra and analysis.