Research on Mathematical Formula Knowledge Base for Formula Recognition

A mathematical formula image must be able to reproduce its layout, syntax structure, and semantic meaning before it can be widely used. In order to achieve an accurate reproduction of mathematical formulas, the first important thing is to establish an accurate and comprehensive formula model. Based on the ontology thought, this paper presents a mathematical formula model and builds a mathematical knowledge base based on this model. The mathematical formula knowledge base uses an ontology to store mathematical formulas, so that the mathematical symbols, formula structures, and formula semantics are effectively combined to form a semantic network. The mathematical formula knowledge base can be used for the recognition of mathematical formulas. Furthermore, it can accurately describe the computational semantics expressed by the mathematical formula.