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 6:
6. The machine-implemented method of claim 1 , further comprising: receiving a second input indicating a second region having a second plurality of atoms of the plurality of atoms corresponding to a portion of the handwritten mathematical expression, at least some of the second plurality of atoms having been misrecognized as a symbol not being under a root symbol; providing a second menu of second possible recognition results based on the second plurality of atoms; receiving a second selection of one of the second possible recognition results as a second correction hint; determining whether a first part of the second plurality of atoms corresponding to the second correction hint is under a root structure and whether a second part of the second plurality of atoms corresponding to the second correction hint is not under the root structure; and recognizing the second plurality of atoms, according to the second correction hint, as at least one symbol under the root structure when the first part of the second plurality of atoms is determined to be under a root structure and the second part of the second plurality of atoms is determined to be not under the root structure.