search

holtzermann17 / planetmath-docs

Documentation for the PlanetMath website and organization to be read in combination with the Planetary issue tracker.
https://github.com/KWARC/planetary/issues?labels=&milestone=&page=1&state=open
7 stars 1 forks source link

represent and reason about symbolic content #31

Open holtzermann17 opened 11 years ago

holtzermann17 commented 11 years ago

Moving far beyond the simplistic string matching which NNexus does in the direction of HDM, we talked about far more sophisticated types of autolinking (which should have information stored in Arxana-like hypergraphs).

That's very similar to what we talked about with Florian Rabe when I was sitting in the kitchen at KWARC and had Ray on the line via Mumble. Can we do something "smart" with the XHTML coming from LaTeXML? It seems entirely reasonable that we SHOULD be able to.

dginev commented 11 years ago

Is this ticket about multi-linking from NNexus? The title confuses me.

holtzermann17 commented 11 years ago

I would say "NNexus 3.0" is "version 1.0" of this. Some of our more advanced NNexus ideas (like autolinking within symbolic expressions) definitely apply. I think the larger vision is more like what I wrote about in http://planetmath.org/semanticsofmathematicalwriting -- can we turn the MathML into Lisp and start to do some automatic inference about it? PS. Different titles are welcome. :)

dginev commented 11 years ago

I don't mind the title as long as we have a matching description :) Your comment helps, thanks!

holtzermann17 commented 11 years ago

We should probably make a PM Preview about this...