Application of Symbolic Regression to Unsolved Mathematical Problems | IEEE Conference Publication | IEEE Xplore