Magic Paper - an on-Line System for the Manipulation of Symbolic Mathematics

摘要

The report describes the preliminary version of the MAGIC PAPER System. Through a conversational interaction, the system aids the scientist, engineer or mathematician as he performs symbolic operations on linear algebraic equations. The user begins by entering his initial equations and conditions through a mathematical keyboard. As he types these equations, they are displayed on a flicker-free scope in standard mathematical notation. Using a push-button control panel and a light pen, he may select expressions and operations which are to be performed on them. If the operation is legal, the system generates a new equation which is then added to the scope display. With the basic set of operations, the user may create new operators which can then be added to the system. He can also introduce special notational conventions. The user has considerable control which enables him to personalize the system to meet his own particular needs. (Author)