Title :
Problem-Solving Support System for Mathematical Sciences
Author :
Kishimoto, Sadaya ; Murakata, Mamoru ; Nakanishi, Takafumi ; Sakurai, Tetsuya ; Kitagawa, Takashi
Author_Institution :
Grad. Sch. of Syst. & Inf. Eng., Tsukuba Univ., Tsukuba
Abstract :
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.
Keywords :
graphical user interfaces; mathematics computing; problem solving; GUI system; mathematical sciences; metasystem; problem solving support system; retrieval system; similarity expression search system; Communications technology; Equations; Graphical user interfaces; Indexing; Knowledge engineering; Large scale integration; Problem-solving; Prototypes; Software prototyping; Systems engineering and theory;
Conference_Titel :
Databases for Next Generation Researchers, 2007. SWOD 2007. IEEE International Workshop on
Conference_Location :
Istanbul
Print_ISBN :
1-4244-0903-9
Electronic_ISBN :
1-4244-0904-7
DOI :
10.1109/SWOD.2007.353202
