目前我正在使用Java开发自动定理证明器。 我希望能够将这些证明呈现为PDF格式。 最好是通过LaTeX进行处理,使用proof.sty或qtree.sty。 然而,我已经了解到从Java渲染LaTeX代码可能会有些问题。 在Java中,证明使用受Haskell树启发的简单树表示: class Tree<A> { A value; List<A> subForest; } 有人有关于如何最好地完成这个任务的想法吗? 另外,关于调用Java中的pdflatex可执行文件,有哪些最佳实践方法?(例如如何定位它,确定是否存在等)
你可以使用jproc来运行pdflatex。它允许你指定超时时间,并处理标准输出和标准错误,以及解释返回码。 确保使用-interaction=batchmode参数启动pdflatex,这样它就不会在每个错误处停止。 此外,我建议使用模板引擎,如velocity或stringtemplate生成latex的输入。 或者,你可能想看看jlatexmath,它旨在提供一个Java API来处理latex公式。