Counting solutions of polynomial systems via iterated fibrations (Q1016493)

The counting polynomial for a system of polynomial equations and inequalities in affine or projective space is defined via a decomposition of the solution set into subsets that can be defined by triangular-like systems, in the sense of \textit{J. M. Thomas} [Differential systems. AMS Coll. Publ. 21 (1937; JFM 63.0438.03)]. Its properties are similar to those of the Hilbert polynomial: its degree is the dimension of the solution set, and if the number of solution is finite, then the polynomial is the number of solutions.