We have several interval arithmetic applications written in JScheme.
- IA-Solver is a solver for non-linear constraints. It is based on the Interval Arithmetic constraint solving package ia_math from interval.sourceforge.net
- IA-Eval is a simple Interval Arithmetic Evaluator