A semantic explanation and symbolic computation approach for designing mathematical courseware

@inproceedings{citeulike:411223, abstract = {In this paper, we present our proposed semantic explanation and symbolic computation approach in mathematical courseware automation. To get students to understand the relationships that appear in a given mathematical problem, it is necessary to explain the meanings of a set of equations using various methods: visual explanations using 2D and 3D graphs, economical explanations using words, and mathematical explanations using math expressions. In mathematical explanations, both concrete example values and calculations in variable symbols are used, depending on the situation. To make it possible to generate such a variety of explanations, we introduce the idea of mathematical concepts and apply it in our proposed method. Our proposed semantic explanation and symbolic computation approach has enabled us to automate various versions of the explanation from many angles.}, author = {Shirota, Y. }, citeulike-article-id = {411223}, journal = {Creating, Connecting and Collaborating through Computing, 2005. C5 2005. Third International Conference on}, keywords = {computers, learning, mathematica, mathematics, symolic}, pages = {158--165}, posted-at = {2005-11-29 13:17:24}, priority = {2}, title = {A semantic explanation and symbolic computation approach for designing mathematical courseware}, url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=1419801}, year = {2005} }

TY - CONF ID - citeulike:411223 L3 - citeulike-article-id:411223 TI - A semantic explanation and symbolic computation approach for designing mathematical courseware JF - Creating, Connecting and Collaborating through Computing, 2005. C5 2005. Third International Conference on SP - 158 EP - 165 N2 - In this paper, we present our proposed semantic explanation and symbolic computation approach in mathematical courseware automation. To get students to understand the relationships that appear in a given mathematical problem, it is necessary to explain the meanings of a set of equations using various methods: visual explanations using 2D and 3D graphs, economical explanations using words, and mathematical explanations using math expressions. In mathematical explanations, both concrete example values and calculations in variable symbols are used, depending on the situation. To make it possible to generate such a variety of explanations, we introduce the idea of mathematical concepts and apply it in our proposed method. Our proposed semantic explanation and symbolic computation approach has enabled us to automate various versions of the explanation from many angles. KW - computers KW - learning KW - mathematica KW - mathematics KW - symolic AU - Shirota, Y PY - 2005/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1419801 ER -