Problem-Solving Support System for Mathematical Sciences

In this paper, we present a problem-solving support system for mathematical sciences as a metasystem. We have implemented an integrated associative search for mathematical expressions and propose a GUI system which is suitable for use with this retrieval system. We present a prototype system with those systems we have implemented. The prototype system enables users' searching mathematical expressions and using a mathematical software with a unified interface. And we also present an experiment of a similarity expression search system to mathematical data on the Web.