Locking mechanism for live mathematical documents
AssigneeMathsoft, Inc.
InventorsSamuel Menaker, Michael Stout
Life of this patent
Estimating the term…
Loading patent…
AssigneeMathsoft, Inc.
InventorsSamuel Menaker, Michael Stout
Estimating the term…
A method and system for locking a defined portion of the live mathematical document. A live mathematical document program, executed on a computer processor, allows a user to edit a live mathematical document and also processes the document. The user can enter mathematical expressions in any position in the live mathematical document. The program automatically updates the live mathematical document to ensure that all expressions are consistent with all expressions upon which they depend. The user can position a first boundary line and a second boundary line in the live mathematical document. The program locks an area on the live mathematical document, the locked area being the area between the first boundary line and the second boundary line. An editor allows editing of expressions in the live mathematical document, and ascertains whether an edit is within the locked area and disallows such edits. Expressions, including expressions in the locked area, are automatically updated by the live mathematical document program to ensure that all expressions in the live mathematical document are consistent with all expressions upon which they depend.
For use in a live mathematical document program executed on a computer processor, the live mathematical document program capable of editing and processing a live mathematical document, a system for locking a user defined portion of the live mathematical document, comprising:
For use in a live mathematical document program executed on a computer processor, the live mathematical document program capable of editing and processing a live mathematical document, the live mathematical document program enabling a user to enter mathematical expressions in any position in live mathematical document and automatically updating the live mathematical document to ensure that all expressions are consistent with all expressions upon which said expressions depend, a system for locking a defined portion of the live mathematical document, comprising:
For use in a live mathematical document program executed on a computer processor, the live mathematical document program capable of editing and processing a live mathematical document, the live mathematical document program enabling a user to enter mathematical expressions into the live mathematical document and automatically updating the live mathematical document to ensure that all expressions are consistent with all expressions upon which they depend, a system for locking a user defined portion of the live mathematical document, comprising:
A method for disallowing modification of a portion of a live mathematical document in which at least one expression is present, comprising the steps of:
For use in a live mathematical document program executed on a computer processor, the live mathematical document program capable of editing and processing a live mathematical document, the live mathematical document program enabling a user to enter mathematical expressions in any position in live mathematical document and automatically updating the live mathematical document to ensure that all expressions are consistent with all expressions upon which said expressions depend, a method for locking a user defined portion of the live mathematical document, comprising:
For use in a live mathematical document program executed on a computer processor, the live mathematical document program capable of editing and processing a live mathematical document, the live mathematical document program enabling a user to enter mathematical expressions into the live mathematical document and automatically updating the live mathematical document to ensure that all expressions are consistent with all expressions upon which they depend, a method for locking a user defined portion of the live mathematical document, comprising:
Dependencies are inferred from the claim text.