Method and system for processing formulas and curves in a document
First Claim
Patent Images
1. A general computing software system for helping a user to extract information from an information source, generate programming source code, and reconstruct information, said information source comprising text sections, figure sections, and formula sections, said system comprising:
- means for setting up environment for said user to specify default binding rules, default programming language, default working path, default parameters, and default connotations of mathematics symbols;
means for selecting portions from said information source, said portions comprising formulas and figures;
means for recognizing symbols, texts, formulas, and figures on said portions;
means for selecting a block, said block containing an element selected from a group consisting of a formula and a figure, said element having a plurality of items, and each of said items being a component selected from a group consisting of a symbol, a parameter, a function, an operator, a label, and a curve;
means for creating identifications to distinguish among said items;
means for associating properties to said block and said items to specify desired relations among said items and desired ways of handling said block and said items;
means for modifying said properties to change said desired relations among said items and said desired ways of handling said block and said items;
means for defining new properties and means for assigning said new properties to said block and said items to provide specific requirements on said block and said items;
means for processing curve to separate curves, extract information from said curves, and generate information for recreating said curves;
means for processing formula to link functions, identify relations among components of a formula, create a reconstructed formula, and display said reconstructed formula;
means for displaying said block and said items;
means for displaying properties associated with said block and said items;
means for adjusting properties to be assigned to said block and said items by using information obtained from handling previous blocks;
means for generating said programming source code;
means for compiling, linking, and running said programming source code and displaying results from running said programming source code; and
means for updating database.
0 Assignments
0 Petitions
Accused Products
Abstract
A method and system are provided for a general computing software system to extract, reconstruct, save, and retrieve the information presented by an information source by assigning explicitly or implicitly properties to formulas, figures, and their components and making mathematics formulas as the bridges between the mathematics formulas in a document and the mathematics formulas and library functions in databases.
10 Citations
20 Claims
-
1. A general computing software system for helping a user to extract information from an information source, generate programming source code, and reconstruct information, said information source comprising text sections, figure sections, and formula sections, said system comprising:
-
means for setting up environment for said user to specify default binding rules, default programming language, default working path, default parameters, and default connotations of mathematics symbols; means for selecting portions from said information source, said portions comprising formulas and figures; means for recognizing symbols, texts, formulas, and figures on said portions; means for selecting a block, said block containing an element selected from a group consisting of a formula and a figure, said element having a plurality of items, and each of said items being a component selected from a group consisting of a symbol, a parameter, a function, an operator, a label, and a curve; means for creating identifications to distinguish among said items; means for associating properties to said block and said items to specify desired relations among said items and desired ways of handling said block and said items; means for modifying said properties to change said desired relations among said items and said desired ways of handling said block and said items; means for defining new properties and means for assigning said new properties to said block and said items to provide specific requirements on said block and said items; means for processing curve to separate curves, extract information from said curves, and generate information for recreating said curves; means for processing formula to link functions, identify relations among components of a formula, create a reconstructed formula, and display said reconstructed formula; means for displaying said block and said items; means for displaying properties associated with said block and said items; means for adjusting properties to be assigned to said block and said items by using information obtained from handling previous blocks; means for generating said programming source code; means for compiling, linking, and running said programming source code and displaying results from running said programming source code; and means for updating database. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14)
-
-
15. A computing software system having common used functions in its libraries for a user to regenerate and verify contents in a document, said document comprising a plurality of formula blocks, said system comprising means for identifying said formula blocks, means for processing formula block, means for generating source code, means for compiling, linking and running said source code, and means for displaying results, wherein said means for processing formula block carried out for each of said formula blocks comprises:
-
means for assigning properties to a formula block selected from said formula blocks and items of said formula block; means for identifying and selecting an undefined function in said formula block; means for searching for a corresponding library function in said libraries, and associating said undefined function with said corresponding library function; means for searching for a previously defined function and associating said undefined function with said previously defined function; means for identifying relations among said items to create a symbol table for said items; means for reconstructing said each block to create a corresponding regenerated block; and means for displaying said regenerated block, whereby functions in said formula blocks will be linked to corresponding functions in said libraries and corresponding functions defined previously, whereby means for compiling, linking and running said source code will compile, link, and run said source code to regenerate said results, whereby means for displaying results will display said results in proper forms, and whereby said user can compare said results with said contents to verify said contents on said document. - View Dependent Claims (16, 17)
-
-
18. A computing software system having common used functions in its libraries for a user to regenerate and verify contents on a document, said document comprising a plurality of curve blocks, each of said curve blocks containing a plurality of curves, said system comprising means for identifying said curve blocks, means for processing curve block, means for generating source code, means for compiling, linking and running said source code, and means for displaying results, wherein said means for processing curve block carried out for each of said curve blocks comprises:
-
means for assigning properties to a curve block selected from said curve blocks and items of said curve block; means for separating each curve from a group of curve in said curve block to generate a group of separated curves; means for selecting one curve from a group of separated curves and specifying properties to said one curve; means for identifying parameters associated with said one curve and binding said parameters with said one curve; means for extracting information from said curve; and means for representing said curve. - View Dependent Claims (19, 20)
-
Specification