Computer-based symbolic circuit analysis and simulation | IEEE Conference Publication | IEEE Xplore