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 ...