@JIXiang yeah this is too specific of a technology to have a browser dedicated to it, don't see that happening. Better math support in JavaScript components would be along these lines. Getting GitHub to support math in Markdown would be a step in this direction. github.com/github/markup/issues/897

This is a hard problem. To build an effective search engine you'd have to visually parse the equations from PDFs or the visual rendering of HTML/TeX, similar to handwritten equation analysis. Not sure the state of that technology. Then once you get the equations parsed, finding equivalencies based on some standard definition, which would require a formalization of mathematics such as in HoTT with Coq. Then figuring out what actually needs to be searched for from a UX perspective.

That helps, I guess in programming there is a lot of extra implicit information you have available that may make an ordinary graph into a hypergraph.

@PeterHeinig but if you use the time information and also the paper information (which paper was collaborated on), you would be able to figure it out. I am still confused.

@Charles I'm thinking about this from a programming perspective. You could have Larry-Paper1, Curly-Paper1, Moe-Paper1 as well as Larry-Paper2, Curly-Paper2, Curly-Paper3, Moe-Paper3... Then you would just combine the information from all the edges and figure out what you're saying, it seems like the same information. Not sure what I'm missing.

You could still do that with a basic graph, please explain how you can't do that with a basic graph. Not sure what I'm missing (coming from a programming perspective).

"Each edge contains all articles by its corresponding author" from the linked pdf. Wondering why not just have one edge per article instead.