Symbolic approximation strategies and the symbolic analysis of large and nonlinear circuits | IEEE Conference Publication | IEEE Xplore