Symbolic and numeric quantum circuit simulation | IEEE Conference Publication | IEEE Xplore