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

fYear

2007

fDate

15-15 April 2007

Firstpage

79

Lastpage

84

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SWOD.2007.353202

Filename

4163066