摘要 |
PROBLEM TO BE SOLVED: To output one mathematical expression in a combination of mathematically equivalent mathematical expressions together with at least some of the remaining mathematical expressions in the combination.SOLUTION: Dictionary data D01, D02 have an alignment sequence of at least one of a variable and a constant and an operator extracted from a mathematical expression. The extraction is actualized, for example, by replacing (normalizing) a variable and a constant included in mathematical expression with English letters conforming to a certain rule. Further, an alignment sequence of at least of a variable and a constant and an operator is extracted from a mathematical expression input as a retrieval keyword. The extraction is also actualized, for example, by normalizing the mathematical expression. For the retrieval, the mathematical expression which is normalized as mentioned above is used for both dictionary data and a keyword.SELECTED DRAWING: Figure 1 |