An evaluation of symbolic computation algorithms for the extraction of small signal parameters of a linear circuit | IEEE Conference Publication | IEEE Xplore