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

Session title

Computer algebra and reliable computing

Organizer

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

Keywords

computer algebra, symbolic computation, reliable computation, interval arithmetic

Description

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.