数値積分
INTLAB - 精度保証を伴う数値積分が可能な区間演算ライブラリ
kv - GitHub - 精度保証を伴う数値積分が可能な区間演算ライブラリ
arb - GitHub - 精度保証を伴う数値積分が可能な区間演算ライブラリ