Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers.

Yicong Li Kuanjiu Zhou Lin Xu Meiying Wang Nan Liu

Published in: ICA3PP (3) (2021)

Keyphrases

floating point
fixed point
square root
minimum cost
sparse matrices
image processing
instruction set
interval arithmetic
image segmentation
three dimensional
database systems
higher order