Text this: On the Calculation of the Number of Real Roots of a System of Nonalgebraic Equations Using Computer Algebra.