Global optimization in the COCONUT project. in: Proceedings of the Dagstuhl Seminar "Numerical Software with Result Veri cation (2004)

by H Schichl
Venue:Lecture Notes in Computer Science 2991