A search engine for finding academic papers using the same or similar mathematical formulas

[Daniel-Mietchen]

The basic idea here is to go through the literature and to use the similarity of the maths used in different papers as another discovery mechanism for finding related papers, i.e. papers that are related via their maths, rather than the specific knowledge domain they focus on (if any).

Some basic discussion of the concept is in
http://mathoverflow.net/questions/162487/which-tools-can-identify-scholarly-papers-that-use-the-same-types-of-equations ,
where Approach0 was recently mentioned as an open-source tool that has started to do this for MathOverflow.

[Daniel-Mietchen]

1h to get things started. Also adding the 1day label as prototyping this could be a hackathon project.

[Daniel-Mietchen]

There is also http://searchonmath.com/ , as per
https://commons.wikimedia.org/wiki/File:6th_round_of_presentations_CCBWIKI_01.jpg .

[Daniel-Mietchen]

Here's an interesting twist to this story - combining MathML markup with Wikidata identifiers to increase findability and convey the semantics of a formula ore clearly:
https://twitter.com/WikiResearch/status/1025188636969422849 .

[Daniel-Mietchen]

Paper: A Critical Survey of Mathematical Search Engines (paywalled)

[Daniel-Mietchen]

Here is a profile of papers using a common mathematical concept (Bayes' theorem): https://scholia.toolforge.org/use/Q182505 .

Note that the tagging here is mainly based on text mining, not formula mining.