A semantic explanation and symbolic computation approach for designing mathematical courseware | IEEE Conference Publication | IEEE Xplore