News

Floating-Point Arithmetic and Numerical Computation Verification Publication Trend The graph below shows the total number of publications each year in Floating-Point Arithmetic and Numerical ...