Applications of symbolic computation to power system analysis and teaching | IEEE Conference Publication | IEEE Xplore