Talks Presented at Dagstuhl'03 Conference

Talks Presented at Dagstuhl Seminar on
Numerical Software with Result Verification
(Dagstuhl, Germany, January 19-24, 2003)

Proceedings appeared as Springer Lecture Notes in Computer Science, Vol. 2991. This volume is available online. You can find information about it here, or access the online version at this link

[<--] Back to Previous Conferences: 2003
[<--] Back to the main menu of the Interval Computations website