使用Java（通过LaTex？）渲染PDF证明文件

Question

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

我希望能够将这些证明呈现为PDF格式。 最好是通过LaTeX进行处理，使用proof.sty或qtree.sty。 然而，我已经了解到从Java渲染LaTeX代码可能会有些问题。

在Java中，证明使用受Haskell树启发的简单树表示：

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

有人有关于如何最好地完成这个任务的想法吗？

另外，关于调用Java中的pdflatex可执行文件，有哪些最佳实践方法？（例如如何定位它，确定是否存在等）

- wen

Answer 1

你可以使用jproc来运行pdflatex。它允许你指定超时时间，并处理标准输出和标准错误，以及解释返回码。 确保使用-interaction=batchmode参数启动pdflatex，这样它就不会在每个错误处停止。 此外，我建议使用模板引擎，如velocity或stringtemplate生成latex的输入。 或者，你可能想看看jlatexmath，它旨在提供一个Java API来处理latex公式。

- Felix Leipold