This question has been "manually migrated" to TeX-SX: https://tex.stackexchange.com/q/40200/86

Apologies if the question is not very appropiate for Mathoverflow. It seems to me more appropiate here than in the other 'exchange' sites.

**Is there an IT tool to create a graph of dependencies from a Latex file?** The sense is the following:

It just occurred to me that if everyone creates propositions with proofs (usually) afterwards and these proofs use \eqref, \ref \cite to call to other results it should be feasible to create a graph of dependencies of results, given a paper written in Latex.

I think such a thing would be useful for any mathematician (check dependencies, recursive arguments, that there are lemmas which have a need, possibility of suggesting equivalences, writing well-ordered documents...) so I would be surprised if this does not exist yet, but I couldn't find it anywhere.

isfeasable to do such a thing», but in all likelyhood what you really want to know ishow to do it. $\endgroup$ – Mariano Suárez-Álvarez Jan 5 '12 at 17:47neverdepends on anything that will only be proven later on. Of course if the graph of dependencies is a DAG (and it'd better be...), there is always such an ordering. $\endgroup$ – Federico Poloni Jan 5 '12 at 18:03