We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific computing with routines using interval techniques for use by the wide community of applications developers.
Authors
Corliss GF; Kearfott RB; Nedialkov N; Pryce JD; Smith S