The purpose of this chapter is to describe the methods based on interval analysis available in the ALIAS library for the determination of real roots of system of equations and inequalities.