Methods and Systems for Collaborative Formulation and Solution of Problems

摘要

Methods and systems for computationally solving problems are disclosed. A problem can be specified using a computing device. The problem can include at least an initial state and a plurality of operators. Each operator of the plurality of operators can be configured to transform an input state to an output state. The computing device can set a current state of the problem to the initial state. The computing device can generate a display of at least the current state and at least one operator of the plurality of operators. The computing device can receive an input specifying a first operator of the plurality of operators. After receiving the input, the computing device can use the first operator to transform the current state to a transformed state. The computing device can store the transformed state.