Mathability and computer aided mathematical education | IEEE Conference Publication | IEEE Xplore