A system for solving problems in mathematics, natural science, engineering and like disciplines, online or on a computing device. The system includes an interface which employs a declarative approach to solution representation. The interface allows users such as students to enter their solutions by declaring main steps of a solution (in various modes and levels of detail). The interface provides a list from which a student selects an appropriate action and fills out the details of the computations related to the action. The system helps students learn the process of solving problems by teaching them how to divide solutions into logical steps.
Full Patent: Interface For Declarative Problem Solver