1 paper · 1 filter
Bhargav Kulkarni, Pavel Panchekha
Recent advances have made numeric debugging tools much faster by using double-double oracles, and numeric analysis tools much more accurate by using condition numbers. But these te…