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.