Semantification of Identifiers in Mathematics for Better Math Information Retrieval

Semantification of Identifiers in Mathematics for Better Math Information Retrieval