A complete algorithm for counting real solutions of polynomial systems of equations and inequalities.
scientific article; zbMATH DE number 2017093