search

MathHubInfo / Frontend

A new MathHub Narration Frontend written in React.
GNU Affero General Public License v3.0
2 stars 0 forks source link

Enable FlatSearch on MathHub #101

Open kohlhase opened 5 years ago

kohlhase commented 5 years ago

FlatSearch (MWS after flattening an MMT Theory graph) is the most natural form of search for MathHub. We should re-activate Mihnea's old code (described in http://kwarc.info/kohlhase/papers/mir12.pdf) and activate it on MathHub.

kohlhase commented 3 years ago

This is something that would far enhance the reach of MWS on MathHub and make it more useful. I will write about this in the Future work in the MWS@MathHub paper.

tkw1536 commented 3 years ago

Running the flat harvester should be possible but it's not clear to me if it should replace the MathWebSearch interface or be a second mode.

kohlhase commented 3 years ago

should replace the MathWebSearch interface or be a second mode.

second mode of the interface?