java - 使用 Java 渲染 PDF 校样（通过 LaTex？）

Question

目前我正在用 Java 开发一个自动定理证明器。

我希望能够将这些证明呈现为 PDF。最好，这将通过 LaTeX 之类的东西，使用proof.sty或qtree.sty。但是，我读过从 Java 渲染 LaTeX 代码可能有点问题。

在 Java 中，证明由受 Haskell 树启发的简单树表示，如下所示：

class Tree<A> {
  A       value;
  List<A> subForest;
}

有人对如何最好地做到这一点有任何想法吗？

pdflatex在相关说明（即 all-else-fails 解决方案）上，从 Java调用可执行文件的最佳实践是什么？（至于找到它，弄清楚它是否存在等等......）

Answer 1

您可以使用jproc来运行 pdflatex。它让您指定超时并负责处理 stdout 和 stderr 以及解释返回代码。确保使用 -interaction=batchmode 参数启动 pdflatex，因此它不会在每个错误时停止。此外，我建议使用像速度或字符串模板这样的模板引擎来生成乳胶的输入。或者，您可能想查看 jlatexmath，它旨在为乳胶公式提供 java api。