Inproceedings,

Approximate Translation from Floating-Point to Real-Interval Arithmetic.

, , and .
NFM, volume 13260 of Lecture Notes in Computer Science, page 733-751. Springer, (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews