Document Search System for Mathematical Expressions

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Existing document search techniques are limited in finding similar documents containing mathematical expressions, as they rely on keyword-based methods that fail to account for variations in mathematical expressions and often provide undesirable results due to fixed weight calculations.

Innovation Solution

A method and system that divide documents with mathematical expressions into components, compare these components with other documents using dynamically adjusted weights based on their types, and determine similar documents by adapting weights according to comparison results.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Productivity

If keyword-based search methods are used to find similar documents, then the search process is simple and fast, but the accuracy of finding similar documents containing mathematical expressions deteriorates

Engineering Contradiction:
Improvesearch speedVSAvoidsearch accuracy
Core Design Contradiction:
ProductivityVSMeasurement precision

Solution Approach 1:

The patent divides documents into multiple components including text components and mathematical expression components. This segmentation allows the system to process and compare different elements separately, improving the accuracy of finding similar documents while maintaining efficient search operations through structured component-based comparison.

Inventive Principle:
Principle #1Segmentation

Solution Approach 2:

The patent dynamically adjusts weights assigned to different document components based on their types and the comparison results. This parameter change approach enables the system to adaptively optimize search accuracy for mathematical expressions while maintaining overall search efficiency, resolving the contradiction between simple keyword search and accurate mathematical expression matching.

Inventive Principle:
Principle #35Parameter changes

2Productivity

If fixed weights are assigned to document components for comparison, then the calculation process is simple and fast, but the accuracy of determining similar documents deteriorates

Engineering Contradiction:
Improvecalculation speedVSAvoiddocument similarity accuracy
Core Design Contradiction:
ProductivityVSMeasurement precision

Solution Approach 1:

The patent implements dynamic weight adjustment where weights assigned to document components are not fixed but are adaptively modified based on the types of components and the results of preliminary comparisons. This dynamic approach improves document similarity determination accuracy while the adjustment process is optimized to maintain computational efficiency.

Inventive Principle:
Principle #15Dynamics

Solution Approach 2:

The system uses feedback from comparison results to adjust weights for subsequent comparisons. By analyzing the outcomes of initial document component comparisons, the system refines weight assignments to improve accuracy in identifying similar documents, creating a self-optimizing search process that balances speed and precision.

Inventive Principle:
Principle #23Feedback

Data Source

PatentUS11334578B2Method, system and non-transitory computer-readable recording medium for searching for document comprising formula
Publication Date: 2022.05.17 CIASSCUBE CO LTD
  • US11334578B2 patent drawing
  • US11334578B2 patent drawing
  • US11334578B2 patent drawing

AI summary

According to one aspect of the invention, there is provided a method for searching for documents containing mathematical expressions, the method comprising the steps of: dividing a first document containing mathematical expressions into a plurality of components; comparing the plurality of components with a plurality of other components extracted from a plurality of other documents, with reference to weights respectively assigned to the plurality of components according to types of the components; and determining a document associated with the first document among the plurality of other documents, with reference to a result of the comparison, wherein the weights are adaptively adjusted according to a result of the determination of the document associated with the first document.