CORE-MATH：提供具有正确舍入的开源数学函数 | CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Sollya 是一个用于安全浮点代码开发的工具环境。它特别针对数学函数库（libm）的自动化实现。在众多功能中，它提供了经过认证的无穷范数计算和快速的 Remez 算法。 | Sollya is a tool environment for safe floating-point code development.
Gappa 是一款工具，旨在帮助验证和形式化证明，涉及浮点或定点运算的数值程序的属性 | Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
