在数学中，我们经常从一些公理开始，比如 A、B，然后从这些公理中证明定理，比如 C。为了直观地展示逻辑关系，我希望程序能够将文档的逻辑依赖关系提炼成一个图形（在数学意义上，即一组顶点和边），然后绘制结果。
在这个例子中，图表将是{{A,C},{B,C}}。
是否有一个包可以解析我的文档、提炼这种结构然后绘制它？
如果没有，希望我可以编写后端内容来制作数学图表，然后为我选择的任何图形包重新格式化该语法，然后将该信息发送到该包进行绘图。您会推荐哪些软件包来绘制不一定是树的图形？
我也可以让 python 解析实际的 latex 文件并生成我想要的结构，然后绘制它。
编辑：在下面的代码中，我使用标签和交叉引用来描述依赖结构。
\begin_body
\begin_layout Definition
A
\begin_inset CommandInset label
LatexCommand label
name "def:A"
\end_inset
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Definition
B
\begin_inset CommandInset label
LatexCommand label
name "def:B"
\end_inset
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Definition
C
\begin_inset CommandInset label
LatexCommand label
name "def:C"
\end_inset
\end_layout
\begin_layout Definition
C is
\begin_inset CommandInset ref
LatexCommand ref
reference "def:A"
\end_inset
times
\begin_inset CommandInset ref
LatexCommand ref
reference "def:B"
\end_inset
\end_layout
\end_body
\end_document