使用Java渲染PDF样张（通过LaTex？）

Question

目前我正在研究Java中的自动化定理证明器。

我希望能够以PDF格式呈现这些证据。 更好的是，这将使用proof.sty或qtree.sty来完成像LaTeX这样的事情。 但是，我已经读过从Java渲染LaTeX代码可以是a bit problematic。

在Java中，证明由简单树表示，灵感来自Haskell树，如：

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

有没有人对如何做到这一点有任何想法？

在相关说明（即其他全部失败的解决方案）上，从Java调用pdflatex可执行文件的最佳做法是什么？ （至于找到它，弄清楚它是否存在，等等......）

Answer 1

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