我想知道是否存在具有以下功能的python区间算术库:
如果x和y都是区间，例如:[1.2,2.1], [3.8,9.9]，那么它们的和/积/比是一个区间，特别是第一个区间中的任何实数加/次/超过第二个区间中的实数，将包含在结果区间中。
特别是，我想知道这样一个库可以执行此操作并解释浮点错误，以便结果可以用于数学证明。我找到了一些库，例如这个:https://pythonhosted.org/uncertainties/这说明了实数上的错误，但是他们并没有按照我要求的更严格的意义这样做。
感谢 TimPeters 推荐这个库:
https://mpmath.org/doc/current/contexts.html#arbitrary-precision-interval-arithmetic-iv
我认为这应该是正确的工具。
最佳答案
正如评论中所建议的，OP似乎对广泛使用的mpmath extension library提供的基本区间算术设施(二进制浮点，用户可设置的精度，在软件中模拟)感到满意。 .
关于python区间算术库，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/69889985/