Библиотека интервальной арифметики Python [закрыта] ⇐ Python

[Anonymous]

Я хотел бы знать, существует ли библиотека интервальной арифметики Python со следующими функциями:
Если x и y являются интервалами, например: [1.2,2.1], [3.8] ,9.9], то их сумма/произведение/отношение представляет собой интервал, и, в частности, любое действительное число в первом интервале плюс/умноженное/на действительное число во втором интервале будет содержаться в результирующем интервале.
В частности, мне хотелось бы узнать о такой библиотеке, которая делает это и учитывает ошибки с плавающей запятой, чтобы результаты можно было использовать в математических доказательствах. Я нашел несколько библиотек, таких как эта: https://pythonhosted.org/uncertainties/, которые учитывают ошибки в реальных числах, однако они не делают этого в том более строгом смысле, который мне нужен.
Спасибо ТимПитерсу за предложение этой библиотеки:

https://mpmath.org/doc/current/contexts ... hmetic-ivЯ думаю, что это правильный инструмент.

Подробнее здесь: https://stackoverflow.com/questions/698 ... ic-library