Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis | IEEE Conference Publication | IEEE Xplore