自然な数学表記のためのユーザインターフェイス

抄録

A user interface to manipulate natural mathematical notations is proposed. Mathematical notations have two-dimensional structures such as superscript, subscript, fraction, etc., therefore a two-dimensional user interface is required. To input complicated structures of equations, we have implemented the input method of multi-selection of overlay. This interface generates a formal representation, which can be used for the input of both mathematical expressions understanding and typesetting.