Computing and manipulating the real solutions of a polynomial system is a requirement for many application areas, such as biological modeling, robotics, program verification, and control design, to name just a few. For example, an important problem in computational biology is to study the stability of the equilibria (or steady states) of biological systems. This question can often be reduced to solving a parametric system of polynomial equations and inequalities. In this application, these techniques are used to perform stability analysis of a parametric dynamical system and verify mathematical identities through branch cut analysis.