Mathability: Emulating and enhancing human mathematical capabilities | IEEE Conference Publication | IEEE Xplore