Interval arithmetic for Ada

From MaRDI portal
Software:17677