Formal Solution to Systems of Interval Linear or Non-Linear Equations. Reliable computing (0)

by M A Sainz, E Gardenyes, L Jorba