CN102033863B - Formula manipulation method and system - Google Patents
Formula manipulation method and system Download PDFInfo
- Publication number
- CN102033863B CN102033863B CN200910235626XA CN200910235626A CN102033863B CN 102033863 B CN102033863 B CN 102033863B CN 200910235626X A CN200910235626X A CN 200910235626XA CN 200910235626 A CN200910235626 A CN 200910235626A CN 102033863 B CN102033863 B CN 102033863B
- Authority
- CN
- China
- Prior art keywords
- formula
- tree structure
- structure data
- node
- fragment
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Abstract
The invention discloses formula manipulation method and system for solving the problem that formula segments cannot be searched in the formulas included in a layout in the traditional composing technology. The technical scheme of the invention is that the method comprises the steps of: receiving an input first formula segment and establishing first tree-shaped structure data corresponding to the first formula segment; and comparing the first tree-shaped structure data with the tree-shaped structure data corresponding to a formula in a layout to be edited and determining whether the tree-shaped structure data corresponding to the formula includes a part matched with the first tree-shaped structure data. Through the technical scheme of the invention, the formula segment search of all the formulas included in the layout to be edited is realized; therefore, the edition of corresponding formula segments in the formulas included in the layout is realized, convenience is brought to the re-edition process of the formulas by a user, and the efficiency and the accuracy of the formula manipulation are improved.
Description
Technical field
The present invention relates to typesetting system field, relate in particular to a kind of formula manipulation method and system that is applied to the formula process of typeset.
Background technology
In science and technology type composing, formula composing bigger ratio of occupation ratio in the composing content is occupied very consequence.For traditional science and technology type software for composing, the editor of formula, insertion and correct demonstration are the embodiment parts that software is worth always, and for the space of a whole page after the first composing, often exist the problem of wrong check and correction, and the check and correction of formula is particularly important.
In existing composing type software, bigger shortcoming for the function ubiquity of searching, proofread and replace of formula.This is because formula has and the streaming diverse data structure of setting type, and this makes searches the replacement very difficulty that becomes in formula.When the composing personnel carry out the check and correction of formula; May find that all formula fragments
in fact should be
at this moment just needs search replacement to whole
this formula fragment; And traditional equation editing software does not generally all provide this formula fragment is searched the replacement function.
Therefore; Existing typesetting technique exists and can not search to find out the specific formulation fragment that it is comprised whole formula; Thereby can not treat the problem that the formula in editor's space of a whole page is edited again effectively; Make the editor again after formula inserts the space of a whole page become inconvenient, influenced scientific and technological type of efficient of setting type.
Summary of the invention
The embodiment of the invention provides a kind of formula manipulation method and system, can not be comprised the problem of searching the formula fragment in the formula at the space of a whole page to solve in the existing typesetting technique.
A kind of formula manipulation method is applied to the formula process of typeset, may further comprise the steps:
Receive the first formula fragment of input,, set up the first corresponding tree structure data of the said first formula fragment with the mode of setting up identical with the tree structure data of waiting to edit the formula in the space of a whole page;
Through said first tree structure data and the pairing tree structure data of waiting to edit in the space of a whole page of formula are compared, confirm whether comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula.
In the said method,, set up the first corresponding tree structure data of the said first formula fragment with the mode of setting up identical with the tree structure data of said formula.
In the said method; The step that said first tree structure data and the tree structure data of waiting to edit the formula in the space of a whole page compare; Further comprise the order according to the inorder traversal of depth-first, the node in the tree structure data that the node in said first tree structure data is corresponding with said formula compares.
In the said method, determine comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula after, also comprise: the pairing formula fragment of this compatible portion in the said formula is made as selected state.
In the said method, determine comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula after, also comprise: the tree structure data deletion of this compatible portion in the tree structure data that said formula is corresponding.
In the said method, also comprise:
Receive the second formula fragment of input,, set up the second corresponding tree structure data of the said second formula fragment with the mode of setting up identical with the tree structure data of said formula;
After in determining the corresponding tree structure data of said formula, comprising the part that is complementary with said first tree structure data; Also comprise: utilize said second tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is replaced processing.
In the said method,, set up the second corresponding tree structure data of the said second formula fragment with the mode of setting up identical with the tree structure data of said formula.
The embodiment of the invention also provides a kind of formula manipulation system, is applied to the formula process of typeset, and comprise interface module, formula modular converter and search module, wherein:
Interface module is used to receive the first formula fragment of input;
The formula modular converter, be used for with the identical mode of setting up of tree structure data of the formula of waiting to edit the space of a whole page, set up the first corresponding tree structure data of the said first formula fragment;
Search module, be used for, confirm whether comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula through said first tree structure data and the pairing tree structure data of said formula are compared.
In the said system, the said module of searching is carried out tree structure relatively the time, and according to the order of the inorder traversal of depth-first, the node in the tree structure data that the node in said first tree structure data is corresponding with said formula compares.
In the said system, said searching module comprises the part that is complementary with said first tree structure data in determining the corresponding tree structure data of said formula after also is used for the pairing formula fragment of this compatible portion of said formula is made as selected state.
In the said system, also comprise:
Editor module; Be used for searching after module determines the corresponding tree structure data of said formula and comprise the part that is complementary with said first tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is handled said.
In the said system, said editor module is handled the tree structure data of this compatible portion in the corresponding tree structure data of said formula and is specially, the tree structure data deletion of this compatible portion in the tree structure data that said formula is corresponding.
In the said system, said interface module also is used to receive the second formula fragment of input;
Said formula modular converter also is used for the set up mode identical with the tree structure data of said formula, sets up the second corresponding tree structure data of the said second formula fragment;
Said editor module is handled the tree structure data of this compatible portion in the corresponding tree structure data of said formula and is specially; Utilize said second tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is replaced processing.
The technique scheme of the embodiment of the invention; The first formula fragment through to input is set up corresponding tree structure data; Then with this formula fragment corresponding tree structure data compare with the pairing tree structure data of formula waiting to edit in the space of a whole page; Thereby realized treating the formula that is contained in editor's space of a whole page and carried out searching of formula fragment; And then can be through handling to the partial data that is complementary with the said first formula fragment in the corresponding tree structure data of formula in the said space of a whole page; Thereby the editor of corresponding formulas fragment in the formula that can realize the said space of a whole page is comprised has made things convenient for the again editing process of user to formula, has improved the efficient and the accuracy of formula manipulation.
Description of drawings
The pairing tree structure data synoptic diagram of the formula that Fig. 1 provides for the embodiment of the invention [1];
" formula is searched replacement " interface synoptic diagram that Fig. 2 provides for the embodiment of the invention;
The user that Fig. 3 provides by the embodiment of the invention is done the operation schematic flow sheet;
The make-up editor's system architecture synoptic diagram that is applied to equation editing that Fig. 4 provides for the embodiment of the invention;
The operating process synoptic diagram of in formula [1], searching formula
that the system that Fig. 5 provides for the embodiment of the invention carries out;
Fig. 6 A is the pairing tree structure data synoptic diagram of formula
that the embodiment of the invention provides;
Fig. 6 B is the pairing tree structure data synoptic diagram of formula
that the embodiment of the invention provides;
Fig. 7 searches the operating process synoptic diagram that module is carried out for what the embodiment of the invention provided.
Embodiment
Do further to describe in detail below in conjunction with the accompanying drawing specific embodiments of the invention.
Edit in the space of a whole page that generates in existing software for composing, the data store organisation of formula generally is a tree structure.Be example with the pairing tree structure data of formula [1] below, describe the pairing data structure of formula in the existing typesetting technique, formula [1] is shown below:
Referring to Fig. 1; Be the pairing tree structure figure of formula [1]; The circle that has 1 to 11 numeral number among the figure is represented root node and intermediate node in this tree respectively, and numeral is a node serial number in the circle, and leaf node indicates with the real data of its representative; Wherein, intermediate node can corresponding specific sign of operation.Node 1 directly comprises four node, and wherein, alphabetical a and sign of operation+institute corresponding nodes respectively are leaf node, and node 2 is the child node of node 1 with node 4; Node 2 corresponding sign of operation
but the subsidiary editing area of this sign of operation; But i.e. evolution number editing area under this radical sign, but so the node node that comprises a representative editing area for 2 times be node 3; Node 3 comprises two leaf nodes, corresponding respectively numeral 2 and alphabetical a; Node 4 corresponding fraction sign of operation, but this sign of operation attached molecule, two editing areas of denominator, but so node 4 comprised the nodes of two representative editing areas, i.e. node 5 and node 9; 6 corresponding sign of operation of the child node of node 5
but (one is evolution number zone to subsidiary two editing areas of this sign of operation; One is evolution power sub-region); Therefore but node 6 comprises the node of two representative editing areas, i.e. node 7 and node 8; Node 7 comprises three leaf nodes, respectively corresponding alphabetical x, sign of operation+, alphabetical y; The corresponding numeral 2 of leaf node under the node 8; Node 9 comprises a leaf node, and its corresponding numeral 2 also comprises a node 10; To comprise a node be node 11 but node 10 correspondences include sign of operation
so the node 10 of an editing area; Node 11 comprises two leaf nodes, corresponding respectively numeral 2 and alphabetical a.
In the above-mentioned tree structure with the lower node specific formula edited fragment in the corresponding formula [1] respectively, wherein:
Above-mentioned formula has only comprised the situation that contains secondary radical (the secondary radicals of two kinds of forms), fraction, additive operation; In the practical application; Also possibly comprise other operational forms; As the repeatedly computing of various ways such as radical, power operation, integration, determinant, system of equations, the method for building up of its tree structure and the method for building up of tree structure shown in Figure 1 and principle are basic identical, particularly; But the incidental editing area number of different sign of operation maybe be different, but all are the editing areas of formula like the index of power operation, the integration upper and lower limit of integral operation.
The embodiment of the invention is according to the generating principle of the tree structure data of above-mentioned formula, and the pairing tree structure data of formula, and a kind of formula manipulation method and system is provided.This system can be the user equation editing interface is provided, the user can in this interface, import the formula fragment that will search; System adopts the principle of setting up of above-mentioned formula tree structured data; Set up its pairing tree structure data according to this formula fragment, and the corresponding tree structure data of formula that is contained in this tree structure data and the space of a whole page compared, with confirm whether to have in the corresponding tree structure data of this formula with the part that is complementary of the pairing tree structure data of formula fragment that will search; Promptly; Whether comprise in this formula with the identical formula fragment of formula fragment that will search, if having, then the user can handle the part that this is complementary according to different needs accordingly; That is, the formula fragment that in formula, finds is handled.
Above-mentioned described the formula fragment that in formula, finds is handled, can comprise: the formula fragment to finding out is chosen, is deleted or replaces.System can present to the user with selected state with the formula fragment that finds; According to user's operation the formula fragment of selected state is carried out handled then; Like the delete command deletion formula fragment of submitting to according to the user, perhaps replace with other formula fragments according to the replacement order that the user submits to.Certainly, system also can order according to the replacement that the user submits to, at first carries out the flow process of searching of formula fragment, the formula fragment that directly finds then with the replacement of replacement formula fragment, and need the formula fragment that find not presented to the user.
The user interface that the embodiment of the invention provides can be as shown in Figure 2, is " formula is searched replacement " interface, the right side respective user of wherein " searching content " the editing area of the formula fragment that will search; " replace with " the right side respective user and the formula fragment that is found out is replaced the editing area of required replacement formula fragment; " search " button and be used to trigger the search operation of formula fragment; " deletion " button is used to trigger the deletion action to the formula fragment that is found out; The formula fragment that " replacement " button is used to trigger being found out is carried out replacement operation.
Utilize interface shown in Figure 2; Suppose that the user searches
in the formula that the space of a whole page comprised and it is replaced with
operating process as shown in Figure 3, concrete steps are:
Step 301, the interface shown in Figure 2, in the "Find what" field, enter the corresponding formula to find
In the "Replace with" asked to enter into the corresponding area of the formula
Step 302, click " searching " button make the make-up editor system carry out the formula search operation to submit the formula look-up command to;
In this step; The make-up editor system begins to carry out the formula search operation from cursor current position document; All comprise the formula of
in the document after the cursor position thereby can find out, and all comprise the zone of
in these formula.If before clicking " searching " button, selected certain or some formula in the document, then in selected formula, searched
Step 303, search end after; Click " replacement " button; To submit formula fragment replacement order to,
that the make-up editor system will be found out replaces with
In the above-mentioned flow process, the input of replacement formula fragment also can be carried out in step 303, that is, finish search operation after, import the replacement formula fragment again, click " replacement " button again, the formula fragment that is found out is replaced.
Above-mentioned flow process has been described the user and is carried out the search operation of formula fragment earlier, carries out the process of formula fragment replacement operation again, if the user only need search the formula fragment, does not carry out subsequent operation, then proceeds to step 302 and gets final product; If the user needs
that finds out deleted; Then can finish step 302 back click " deletion " button, perhaps after finishing step 301, directly click " deletion " and get final product; If the user needs
that is contained in the space of a whole page replaced with
then after finishing step 301; Directly click " replacement " button; Then system at first carries out the search operation of above-mentioned formula fragment, is searching end back
that directly replacement finds with
As shown in Figure 4, the formula manipulation system for the embodiment of the invention provides comprises: interface module 401, formula modular converter 402 and search module 403, wherein:
Formula modular converter 402 is used for the formula fragment that received according to interface module 401, with the corresponding identical mode of setting up of tree structure data of formula of waiting to edit in the space of a whole page, set up the corresponding tree structure data of this formula fragment;
Further; According to different processing needs; Native system can also comprise an editor module 404; Be used for searching after module 403 determines the corresponding tree structure data of formula and comprise the part that is complementary with the corresponding tree structure data of formula fragment that will search the part of this coupling being handled, this processing specifically can comprise:
The said compatible portion data deletion that is comprised in the tree structure data that this formula is corresponding; Perhaps, the said compatible portion data that comprised in the tree structure data with this formula correspondence replace with the pairing tree structure data of other formula fragments.
If will realize the replacement of formula fragment, then also need interface module 401 can receive the replacement formula fragment of input, be used for replacing the formula fragment that is found out; And the replacement formula fragment that needs formula modular converter 402 to be received according to interface module 401 with the set up mode identical with the tree structure data of said formula, is set up the corresponding tree structure data of said replacement formula fragment.
It is existing that to replace with
with
that in formula [1], searches
and will find then be example; The performed operating process of system shown in Figure 4 is described; As shown in Figure 5, concrete execution in step is:
Wherein, The tree structure data of
correspondence is shown in Fig. 6 A; Node 601 corresponding formula fragments
but total editing area; But sign of operation
the node 603 corresponding sign of operation
of the corresponding subsidiary editing areas of node 602 but editing area down, the corresponding respectively numeral 2 of its two leaf nodes and alphabetical a; Similarly, the tree structure data that
is corresponding is shown in Fig. 6 B;
In the above-mentioned flow process, the process of setting up the corresponding tree structure data of formula fragment
also can find formula fragment
and carrying out afterwards again searching module 403.
Above-mentioned flow process has been described the user and has been carried out search operation earlier, carries out the flow process of replacement operation again, and in the practical application, native system also can be carried out different treatment schemees according to user's different demands, promptly above-mentioned flow process is made corresponding adjustment, specifically can comprise:
Only need
searched (through in " formula is searched replacement " interface, importing
and only submitting the Find command to) like the user; And do not carry out subsequent operation; Then proceeding to step 503 is that flow process finishes, and also need not to carry out with the relevant operation of formula fragment
; Like need lookup result is appeared; Then in step 503, search module 403 and should
be made as selected state afterwards finding formula fragment
;
If the user needs
that finds out directly deleted (through input
in " formula is searched replacement " interface and only submission " deletion " order); Then after step 503 executes; Editor module 404 will be searched the formula fragment deletion that module 403 is found immediately, and this flow process finishes;
If the user needs
that finds out carried out deletion action selectively (through input
in " formula is searched replacement " interface and submission the Find command; And after finding the formula fragment, submit to " deletion " to order); Then also need search two
that module 403 contained in formula [1] after finding
all is made as selected state and presents to the user; (user can select among two
in the formula [1] through mouse for editor module 404
that therefrom select according to the user again and the delete command of submitting to then; Submit delete command then to) with selected
deletion, this flow process finishes;
If the user needs
that finds out carried out replacement operation selectively; Then also need search two
that module 403 contained in formula [1] after finding
all is made as selected state and presents to the user; Editor module 404 is replaced with
selected
according to
and " replacement " order of submitting to that the user therefrom selects then
Below in conjunction with Fig. 1 and Fig. 6 A, describe the search procedure of searching module 503 in the step 503 of flow process shown in Figure 5 in detail.As shown in Figure 7, this flow process comprises step:
In the above-mentioned steps 706, the operation of selected present node also can be carried out after the user handles the tree structure data of being determined (the formula fragment that promptly finds) more again.
Above-mentioned flow process is that example is described with the order according to the inorder traversal of depth-first, but those skilled in the art should be understood that, can also adopt other traversal order that the node in the tree structure is traveled through.
In sum, technical scheme provided by the present invention can realize type formula that software generated of setting type is carried out searching of formula fragment, and can further choose, delete or replace processing to the formula fragment that is found out according to user's different needs; Said technical scheme is based upon on the basis that formula or the pairing tree structure data of formula fragment are operated; Not only can realize the individual digit, letter or the symbol that comprise in the formula are handled; Also can realize bulk treatment that the formula fragment that is made up of a plurality of numerals, letter or symbol that is comprised in the formula is carried out; Thereby the function of the perfect type software of setting type has improved the efficient and the accuracy of formula manipulation system.
Obviously, those skilled in the art can carry out various changes and modification to the present invention and not break away from the spirit and scope of the present invention.Like this, belong within the scope of claim of the present invention and equivalent technologies thereof if of the present invention these are revised with modification, then the present invention also is intended to comprise these changes and modification interior.
Claims (11)
1. a formula manipulation method is applied to the formula process of typeset, it is characterized in that, may further comprise the steps:
Receive the first formula fragment of input,, set up the first corresponding tree structure data of the said first formula fragment with the mode of setting up identical with the tree structure data of waiting to edit the formula in the space of a whole page;
Through said first tree structure data and the pairing tree structure data of waiting to edit in the space of a whole page of formula are compared, confirm whether comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula.
2. the method for claim 1; It is characterized in that; Said first tree structure data with wait to edit formula in the space of a whole page the step that compares of tree structure data; Further comprise the order according to the inorder traversal of depth-first, the node in the tree structure data that the node in said first tree structure data is corresponding with said formula compares.
3. like each described method of claim 1 to 2; It is characterized in that; Determine comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula after, also comprise: the pairing formula fragment of this compatible portion in the said formula is made as selected state.
4. like each described method of claim 1 to 2; It is characterized in that; Determine comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula after, also comprise: the tree structure data deletion of this compatible portion in the tree structure data that said formula is corresponding.
5. like each described method of claim 1 to 2, it is characterized in that, also comprise:
Receive the second formula fragment of input,, set up the second corresponding tree structure data of the said second formula fragment with the mode of setting up identical with the tree structure data of said formula;
After in determining the corresponding tree structure data of said formula, comprising the part that is complementary with said first tree structure data; Also comprise: utilize said second tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is replaced processing.
6. a formula manipulation system is applied to the formula process of typeset, it is characterized in that, and comprise interface module, formula modular converter and search module, wherein:
Interface module is used to receive the first formula fragment of input;
The formula modular converter, be used for with the identical mode of setting up of tree structure data of the formula of waiting to edit the space of a whole page, set up the first corresponding tree structure data of the said first formula fragment;
Search module, be used for, confirm whether comprise the part that is complementary with said first tree structure data in the corresponding tree structure data of said formula through said first tree structure data and the pairing tree structure data of said formula are compared.
7. system as claimed in claim 6; It is characterized in that; The said module of searching is carried out tree structure relatively the time, and according to the order of the inorder traversal of depth-first, the node in the tree structure data that the node in said first tree structure data is corresponding with said formula compares.
8. like claim 6 or 7 described systems; It is characterized in that; Said searching module comprises the part that is complementary with said first tree structure data in determining the corresponding tree structure data of said formula after also is used for the pairing formula fragment of this compatible portion of said formula is made as selected state.
9. like claim 6 or 7 described systems, it is characterized in that, also comprise:
Editor module; Be used for searching after module determines the corresponding tree structure data of said formula and comprise the part that is complementary with said first tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is handled said.
10. system as claimed in claim 9; It is characterized in that; Said editor module is handled the tree structure data of this compatible portion in the corresponding tree structure data of said formula and is specially, the tree structure data deletion of this compatible portion in the tree structure data that said formula is corresponding.
11. system as claimed in claim 9 is characterized in that,
Said interface module also is used to receive the second formula fragment of input;
Said formula modular converter also is used for the set up mode identical with the tree structure data of said formula, sets up the second corresponding tree structure data of the said second formula fragment;
Said editor module is handled the tree structure data of this compatible portion in the corresponding tree structure data of said formula and is specially; Utilize said second tree structure data, the tree structure data of this compatible portion in the corresponding tree structure data of said formula is replaced processing.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN200910235626XA CN102033863B (en) | 2009-09-30 | 2009-09-30 | Formula manipulation method and system |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN200910235626XA CN102033863B (en) | 2009-09-30 | 2009-09-30 | Formula manipulation method and system |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102033863A CN102033863A (en) | 2011-04-27 |
CN102033863B true CN102033863B (en) | 2012-07-04 |
Family
ID=43886778
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN200910235626XA Expired - Fee Related CN102033863B (en) | 2009-09-30 | 2009-09-30 | Formula manipulation method and system |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN102033863B (en) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106815186A (en) * | 2015-11-27 | 2017-06-09 | 北大方正集团有限公司 | typesetting processing method and device |
CN108133168B (en) * | 2016-12-01 | 2021-04-30 | 北京新唐思创教育科技有限公司 | Formula searching method and device in text recognition |
CN108694162A (en) * | 2017-04-11 | 2018-10-23 | 北大方正集团有限公司 | The treating method and apparatus of file |
CN110795526B (en) * | 2019-10-29 | 2022-08-12 | 北京林业大学 | Mathematical formula index creating method and system for retrieval system |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101246475A (en) * | 2007-02-14 | 2008-08-20 | 北京书生国际信息技术有限公司 | Retrieval methodology base on layout information |
CN101329731A (en) * | 2008-06-06 | 2008-12-24 | 南开大学 | Automatic recognition method pf mathematical formula in image |
CN101436307A (en) * | 2008-12-15 | 2009-05-20 | 北大方正集团有限公司 | Interactive typesetting method and system for formula |
CN101436309A (en) * | 2008-12-15 | 2009-05-20 | 北大方正集团有限公司 | Method and apparatus for modifying formula operator |
CN101436308A (en) * | 2008-12-15 | 2009-05-20 | 北大方正集团有限公司 | Formula input method and system for interactive formula typesetting software |
-
2009
- 2009-09-30 CN CN200910235626XA patent/CN102033863B/en not_active Expired - Fee Related
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101246475A (en) * | 2007-02-14 | 2008-08-20 | 北京书生国际信息技术有限公司 | Retrieval methodology base on layout information |
CN101329731A (en) * | 2008-06-06 | 2008-12-24 | 南开大学 | Automatic recognition method pf mathematical formula in image |
CN101436307A (en) * | 2008-12-15 | 2009-05-20 | 北大方正集团有限公司 | Interactive typesetting method and system for formula |
CN101436309A (en) * | 2008-12-15 | 2009-05-20 | 北大方正集团有限公司 | Method and apparatus for modifying formula operator |
CN101436308A (en) * | 2008-12-15 | 2009-05-20 | 北大方正集团有限公司 | Formula input method and system for interactive formula typesetting software |
Also Published As
Publication number | Publication date |
---|---|
CN102033863A (en) | 2011-04-27 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Ko et al. | Space efficient linear time construction of suffix arrays | |
Ko et al. | Space efficient linear time construction of suffix arrays | |
US9552335B2 (en) | Expedited techniques for generating string manipulation programs | |
US7558725B2 (en) | Method and apparatus for multilingual spelling corrections | |
US6381616B1 (en) | System and method for speeding up heterogeneous data access using predicate conversion | |
Wang et al. | Finding similar consensus between trees: an algorithm and a distance hierarchy | |
CN102033863B (en) | Formula manipulation method and system | |
CN101639830A (en) | Chinese term automatic correction method in input process | |
Mišutka et al. | System description: Egomath2 as a tool for mathematical searching on wikipedia. org | |
CN109683881B (en) | Code format adjusting method and device | |
CN102033614B (en) | Intelligently combined formula input method and system | |
Jansson et al. | Linked dynamic tries with applications to LZ-compression in sublinear time and space | |
Chen et al. | Exploiting meta features for dependency parsing and part-of-speech tagging | |
Ergun et al. | Comparing sequences with segment rearrangements | |
Dayhoff et al. | Nucleic acid sequence database | |
Equi et al. | Algorithms and complexity on indexing founder graphs | |
CN109710304B (en) | Format adjustment method and device | |
Chan et al. | A linear size index for approximate pattern matching | |
Aluru | Suffix trees and suffix arrays | |
CN104063366A (en) | Text format setting method and device | |
CN110968300B (en) | Compiling method based on multi-stage scheduling starting scheme | |
Chen et al. | Efficient retrieval of approximate palindromes in a run-length encoded string | |
Iliopoulos et al. | Indexing factors with gaps | |
Beal | Parameterized strings: Algorithms and data structures | |
Goñi-Menoyo et al. | MIRACLE’s hybrid approach to bilingual and monolingual Information Retrieval |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20120704 Termination date: 20190930 |