Scientific computing, validated numerics, interval methods: proceedings SCAN 2000 2001 · ENGLISH · DJVU View details →