Open kohlhase opened 7 years ago
In particular, I have the feeling that we are using the narration
dimension "incorrectly", at least according to the math archives paper. There the narration
dimension "... contains an arbitrary collection of narratively structured documents. These are OMDoc files that contain narrative content such as sectioning and transitions, but no modules." and the presentation
dimension is what we put into narration
. I am not sure how to deal with this. I think the way the paper has it is much better.
I have started documenting math archives in https://mathhub.info/help/math-archives.html, but I am sure this is not the whole story. In particular, there is the
planetary
dimension, which seems to have all the stuff that is pre-generated for being served by the MathHub system. How is that organized, and why do we not use the regular dimensions for that.@tkw1536 @m-iancu