| 摘要 |
This invention provides a novel affordance to algebra. It combines the immediacy of a manipulative with the power of a computer algebra system. Operations are executed in-place on a mutable expression, by direct manipulation of its terms by the user. Terms, whether simple or complex, can be selected by the user and dragged from one location in the expression to another. The equivalence of the expression is maintained by changes to the moving term and other terms in the expression. A highly interactive interface illuminates to the user the range of potential actions. The beneficiaries of this technology are students, who have a new avenue for exploratory learning and technologists, who have a new tool for symbolic reasoning.
|
