Patent Document ID: 8285049
Application ID: 12134193

Base Claim:
1. A machine-implemented method for correcting a recognized handwritten mathematical expression, the machine-implemented method comprising: receiving input indicating a region having at least one atom of a plurality of atoms corresponding to a misrecognized production of a recognized mathematical expression; providing a menu of possible recognition results based on the at least one atom in the region; receiving a selection of one of the possible recognition results as a correction hint; shrinking the region and linearly transforming the at least one atom corresponding to the correction hint such that the at least one atom is horizontally or vertically separate from other atoms of the plurality of atoms; and re-recognizing the plurality of atoms, including the at least one linearly transformed atom, to produce a correctly recognized mathematical expression.

---

Claim 7:
7. The machine-implemented method of claim 1 , further comprising: receiving a second input indicating a second region having at least one atom of the plurality of atoms corresponding to a misrecognized portion of the handwritten mathematical expression; providing a second menu of second possible recognition results based on the at least one atom of the plurality of atoms corresponding to the misrecognized portion of the handwritten mathematical expression, the second possible recognition results being among a top plurality of scores calculated by summing scores assigned to each one of a plurality of rewriting rules applied to produce each respective one of the plurality of second possible recognition results; receiving a second selection of one of the second possible recognition results as a second correction hint; adding a penalty score to each one of the plurality of rewriting rules which does not respect the second correction hint; and re-recognizing the plurality of atoms of the handwritten mathematical expression, the re-recognizing further comprising: selecting a best recognition result from among a third plurality of possible recognition results based on a sum of scores assigned to each one of the plurality of rewriting rules applied to produce each respective one of the third plurality of possible recognition results.