An implementation of an algebraically closed interval system of the extended real number set
Why do you think that https://github.com/stevenpetryk/mafs is a good alternative to interval-arithmetic
An implementation of an algebraically closed interval system of the extended real number set
Why do you think that https://github.com/stevenpetryk/mafs is a good alternative to interval-arithmetic