symbolically exploring, counting, and locating real solutions to general polynomial systems