Published 2021-05-17T01:26:00.006Z by Physics Derivation Graph
Every scientist coming to the website https://derivationmap.net/ is unlikely.
This is what I've historically chased -- identifying the data structure, and the data input mechanism.
Extracting value from staring at a visualization of the graph of equations is unlikely. I'm not clear what graph queries are relevant to run against the graph content.
The local value to both the author and the reader is in determining whether the mathematical content of the paper being read is self-consistent. Practically, that means
As an author, I want to write Latex that generates a document that is mathematically correct.
Mathematical typos should be detected (similar to spell-check). As I enter text (or as a post-processing phase), the computer should guess whether the content is math or non-math. If math, then prompt the author for relevant details.
Overleaf is open source: https://github.com/overleaf/overleaf, so modifying it could be an option.
In a larger context, the relevant value questions include
Rather than bibliographic citation, I care about mathematical provenance.
The specific symbols may vary across papers, and the dimensions may vary (e.g., renormalizing the speed of light to 1), but definitions have to be shared.
The scientific community currently resorts to bibliographic citation because that is the only provenance available, not because it is what matters or what we value.
The cross-document analysis is not feasible without semantic content. The current approach of unstructured text with few hyperlinks requires human readers. Addressing the intra-document consistency challenge might yield semantic markup that enables cross-document analysis.