使用Java（通过LaTex？）呈现PDF样稿

Question

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

我希望能够以PDF格式提供这些证据。 更可取的做法是，使用proof.sty或qtree.sty进行类似乳胶的操作。 然而，我已经读到，从Java呈现LaTeX代码可以是a bit problematic

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

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

有人知道如何最好地做到这一点吗

另一个相关的问题是（即all else fails解决方案），从Java调用pdflatex可执行文件的最佳实践是什么？（至于定位它，弄清楚它是否存在，等等。）

Answer 1

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