Applications of Symbolic Computation to Power System Analysis and Teaching | IEEE Conference Publication | IEEE Xplore