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 3:
3. The machine-implemented method of claim 1 , wherein: the region is indicated by a bounding box, and the shrinking of the region produces a minimal bounding box.