Realpaver

     nonlinear constraint solving & rigorous global optimization