next up previous index
Next: Introduction Up: ECLiPSe Library Manual Release Previous: Examples   Index


RIA: ECLiPSe Real Number Interval Arithmetic






1999-08-06