, which may be expressed as semi-algebraic systems. The approach is based on triangular decomposition and real solution … classification, two powerful tools of algebraic computation. Its effectiveness is illustrated by three examples of application. …