现在是否有一个用于严格数值积分的包，它使用区间算术并可以访问一个完善的特殊函数库？

我所说的“发达”是指至少包括误差函数的东西$\text{erf}$, 不完全 gamma 函数$\Gamma(s,x)$之类的。换句话说，我想整合涉及这些功能的表达式。VNODE-LP 似乎无法满足这一要求，因为它依赖于缺乏此类基本特殊功能的较旧的区间算术库。（此外，也许只有我一个人，但实际上 VNODE-LP 似乎比三年前更难安装；我不确定它是否得到了充分的维护。）

PS。一个理想的库应该同时具有任意精度和双精度模式，后者速度快。这对我现在正在做的事情来说并不是一个真正的问题，但它听起来像是一个基本的需求，就像用 C++（而不是纯 C）编写的直观界面会很好一样。