Yukari Shirota A Semantic Explanation and Symbolic Computation Approach for Designing Mathematical Courseware. 158-165 2005 conf/c5/2005 C5 http://doi.ieeecomputersociety.org/10.1109/C5.2005.4 db/conf/c5/c5-2005.html#Shirota05