Yukari Shirota. A Semantic Explanation and Symbolic Computation Approach for Designing Mathematical Courseware. In 3rd Conference on Creating, Connecting and Collaborating through Computing (C:::5::: 2005), January 28-29, 2005, Cambridge, MA, USA. pages 158-165, IEEE Computer Society, 2005. [doi]
Abstract is missing.