Automated Precision Analysis: A Polynomial Algebraic Approach | IEEE Conference Publication | IEEE Xplore