Family echo is an online program that allows one to make a family tree, if nothing is clicked it shows most of the family tree as it is, but if one clicks a name one can see clearly all the ancestors and descendants of that person, and can read information about them. Is there any software like that that can be used to make a more general graph/network? Is there any fairly easy to use software that I can use to map out mathematical definitions, axioms and theorems such that it is clear what depends on what, and I can find out more information about "Theorem 8a" by merely clicking on it?
If possible I'd like it to be able to display the entire, massive, graph if I wanted to see it.
I've tried visgraph, but it doesn't have the interactivity I'd like.
I'm not entirely sure about the tags, so I apologise if I'm using some incorrectly.
Edit: I'd also like to be able to label the vertices, if possible. And I'm fine with the software not being free, if it's not too expensive and is useable enough.