Keyword:floating-points

Papers
Oracle Integration of Floating-Point Solvers with Isabelle Olle Torstensson and Tjark Weber EasyChair Preprint no. 8640