4. Hence for “used in” tag and “proved by” tags, they may also be the tags of the type “Area of mathematics” “keywords” .
Besides the view of Hierarchy (only for “Area of mathematics” as the folders view), and the view of “Tag clouds” (mostly for “keywords” and also for “Area of mathematics” ), there is a third view for “used in” tag and “proved by” tags, as “Road Map” view.
For example, if we choose two tags, one as the “starting point” and another as the “ending point”, then the “Road Map” function will automatically give the graph structure to all related tags, give the road map from the “starting point” to the “ending point”.
Of course, this task is tough for temporary, and might not be feasible. Since, we maynot determine very clearly the level of “use in”/”proved by” for every single page. For example, tag-1 is used in tag-2, and tag-2 is used in tag-3, so in tag-3 page, tag-1 might be included as the “used in” tag. If so, that might harm the structure of the automatically generating “Road Map”. But anyway, it is still possible to be solved if finer algorithm and finer page-management is considered.