pacific
发表于 2025-3-30 08:45:04
http://reply.papertrans.cn/88/8711/871065/871065_51.png
宠爱
发表于 2025-3-30 15:22:15
Rigorous Enclosure of Round-Off Errors in Floating-Point Computationse ones computing under-approximation of the maximal error. Preliminary experiments on standard benchmarks are promising. FErA not only computes good error bounds on most benchmarks but also provides an effective lower bound on the maximal error.
Tinea-Capitis
发表于 2025-3-30 17:50:09
http://reply.papertrans.cn/88/8711/871065/871065_53.png