Mathematical formula learner support system
AssigneeFujitsu Limited
InventorsJun Wang, Kanji Uchino
Life of this patent
Estimating the term…
Abstract
A method to identify information about a mathematical formula may include receiving a mathematical formula included in a first electronic document. The method may also include generating a formatted formula from the mathematical formula. The method may also include finding a returned formula that is similar to or the same as the formatted formula in a plurality of mathematical formulae. The method may also include identifying from at least one other electronic document content that describes the returned formula and includes a derivation of the returned formula.
Claims22
A method to identify information about a mathematical formula, the method comprising:
- receiving a mathematical formula included in a first electronic document;
- generating a formatted formula from the mathematical formula;
- finding a returned formula that is similar to or the same as the formatted formula in a plurality of mathematical formulae;
- and
- identifying from at least one other electronic document a formula derivation that includes a derivation of the returned formula, wherein identifying from the at least one other electronic document the formula derivation that includes the derivation of the returned formula comprises:
- locating a position of the returned formula in the at least one other electronic document;
- determining whether the at least one other electronic document is paginated;
- in response to the at least one other electronic document being paginated, setting a current boundary around the returned formula based on a current page of the at least one other electronic document;
- locating other formulae within the current boundary in the at least one other electronic document;
- determining, for each of the other formulae, a distance between the returned formula and a corresponding one of the other formulae;
- and
- calculating a score based on the distance and similarity between each of the other formulae and the returned formula.
A non-transitory computer-readable medium that includes computer-readable instructions stored thereon that are executable by a processor to perform or control performance of operations comprising:
- receiving a mathematical formula included in a first electronic document;
- generating a formatted formula from the mathematical formula;
- finding a returned formula that is similar to or the same as the formatted formula in a plurality of mathematical formulae;
- and
- identifying from at least one other electronic document a formula derivation that includes a derivation of the returned formula, wherein identifying from the at least one other electronic document the formula derivation that includes the derivation of the returned formula comprises:
- locating a position of the returned formula in the at least one other electronic document;
- determining whether the at least one other electronic document is paginated;
- in response to the at least one other electronic document being paginated, setting a current boundary around the returned formula based on a current page of the at least one other electronic document;
- locating other formulae within the current boundary in the at least one other electronic document;
- determining, for each of the other formulae, a distance between the returned formula and a corresponding one of the other formulae;
- and
- calculating a score based on the distance and similarity between each of the other formulae and the returned formula.
A system to identify information about a mathematical formula from at least one other electronic document, the system comprising:
- a format module configured to receive a mathematical formula included in a first electronic document and generate a formatted formula from the mathematical formula;
- a similarity module communicatively coupled to the format module, the similarity module configured to find a returned formula that is similar to or the same as the formatted formula in a plurality of mathematical formulae;
- and
- an identifier module communicatively coupled to the similarity module, the identifier module configured to identify from at least one other electronic document a formula derivation that includes a derivation of the returned formula, wherein the identifier module is configured to identify from the at least one other electronic document the formula derivation that includes the derivation of the returned formula by:
- locating a position of the returned formula in the at least one other electronic document;
- determining whether the at least one other electronic document is paginated;
- in response to the at least one other electronic document being paginated, setting a current boundary around the returned formula based on a current page of the at least one other electronic document;
- locating other formulae within the current boundary in the at least one other electronic document;
- determining, for each of the other formulae, a distance between the returned formula and a corresponding one of the other formulae;
- and
- calculating a score based on the distance and similarity between each of the other formulae and the returned formula.
A method to identify information about a mathematical formula, the method comprising:
- receiving a mathematical formula included in a first electronic document;
- generating a formatted formula from the mathematical formula;
- finding a returned formula that is similar to or the same as the formatted formula in a plurality of mathematical formulae;
- identifying from at least one other electronic document a formula derivation that includes a derivation of the returned formula, wherein identifying from the at least one other electronic document the formula derivation that includes the derivation of the returned formula comprises:
- locating a position of the returned formula in the at least one other electronic document;
- determining whether the at least one other electronic document is paginated;
- in response to the at least one other electronic document not being paginated, setting an upper boundary and a lower boundary to create a current boundary around the returned formula;
- locating other formulae within the current boundary in the at least one other electronic document;
- determining, for each of the other formulae, a distance between the returned formula and a corresponding one of the other formulae;
- and
- calculating a score based on the distance and similarity between each of the other formulae and the returned formula.
A non-transitory computer-readable medium that includes computer-readable instructions stored thereon that are executable by a processor to perform or control performance of operations comprising:
- receiving a mathematical formula included in a first electronic document;
- generating a formatted formula from the mathematical formula;
- finding a returned formula that is similar to or the same as the formatted formula in a plurality of mathematical formulae;
- and
- identifying from at least one other electronic document a formula derivation that includes a derivation of the returned formula, wherein identifying from the at least one other electronic document the formula derivation that includes the derivation of the returned formula comprises:
- locating a position of the returned formula in the at least one other electronic document;
- determining whether the at least one other electronic document is paginated;
- in response to the at least one other electronic document not being paginated, setting an upper boundary and a lower boundary to create a current boundary around the returned formula;
- locating other formulae within the current boundary in the at least one other electronic document;
- determining, for each of the other formulae, a distance between the returned formula and a corresponding one of the other formulae;
- and
- calculating a score based on the distance and similarity between each of the other formulae and the returned formula.
A system to identify information about a mathematical formula from at least one other electronic document, the system comprising:
- a format module configured to receive a mathematical formula included in a first electronic document and generate a formatted formula from the mathematical formula;
- a similarity module communicatively coupled to the format module, the similarity module configured to find a returned formula that is similar to or the same as the formatted formula in a plurality of mathematical formulae;
- and
- an identifier module communicatively coupled to the similarity module, the identifier module configured to identify from at least one other electronic document a formula derivation that includes a derivation of the returned formula, wherein the identifier module is further configured to identify from the at least one other electronic document the formula derivation that includes the derivation of the returned formula by:
- locating a position of the returned formula in the at least one other electronic document;
- determining whether the at least one other electronic document is paginated;
- in response to the at least one other electronic document not being paginated, setting an upper boundary and a lower boundary to create a current boundary around the returned formula;
- locating other formulae within the current boundary in the at least one other electronic document;
- determining, for each of the other formulae, a distance between the returned formula and a corresponding one of the other formulae;
- and
- calculating a score based on the distance and similarity between each of the other formulae and the returned formula.
Dependencies are inferred from the claim text.