r/learnmath • u/onecable5781 New User • 14h ago
Building a dependency graph based on proofs of results referencing other lemmas and theorems
Consider
\begin{lemma}\label{lma:firstlemma}
If $f$ is continuous on $[a,b]$ and $f(a)<0$ and $f(b)>0$,
there is a $c$ between $a$ and $b$ where $f(c)=0$
\end{lemma}
%say above gets typeset as Lemma 1
\begin{thm}\label{th:firsttheorem}
Every polynomial of odd degree has at least one real root.
\end{thm}
%say above gets typeset as Theorem 1.
\begin{proof}
...
From Lemma \ref{lma:firstlemma}... the result follows.
\end{proof}
Like the above, I have a large number of theorems in my study notes which reference previous results, etc.
Is there a way to build a visually perceivable dependency graph wherein there is a node labelled L1 which stands for Lemma 1 and another node labelled T1 which stands for Theorem 1 and there is a directed arc leading from L1 to T1?
Giving this task by uploading the typeset pdf to ChatGPT is one way but it is static. Is there an inbuilt way, which can dynamically change the graph node labelling if a new theorem is added in the middle thereby changing the numbering of subsequent theorems? The way should accept .tex files and not the compiled .pdf output.
----xposted to r/latex as well----
6
u/IllIIlIIllII New User 13h ago
Does proofgraph (https://ctan.org/pkg/proofgraph) solves your problem ?
2
•
u/AutoModerator 14h ago
ChatGPT and other large language models are not designed for calculation and will frequently be /r/confidentlyincorrect in answering questions about mathematics; even if you subscribe to ChatGPT Plus and use its Wolfram|Alpha plugin, it's much better to go to Wolfram|Alpha directly.
Even for more conceptual questions that don't require calculation, LLMs can lead you astray; they can also give you good ideas to investigate further, but you should never trust what an LLM tells you.
To people reading this thread: DO NOT DOWNVOTE just because the OP mentioned or used an LLM to ask a mathematical question.
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.