使用Java渲染PDF校樣（通過LaTex？）

Question

目前我正在研究Java中的自動定理證明器。

我希望能夠呈現這些證明，如PDF。 最好，這將通過像LaTeX，使用proof.sty或qtree.sty。 但是，我讀過從Java渲染LaTeX代碼可以是a bit problematic。

在Java中，證明是由簡單的樹中表示，推動了對Haskell的樹木，如：

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

有沒有人得到任何想法如何最好地做到這一點？

在相關說明中（即all-else-failures解決方案）從Java調用pdflatex可執行文件的最佳實踐是什麼？ （至於找到它，找出它是否存在，等等......）

Answer 1

您可以使用jproc運行pdflatex。它讓你指定一個超時值並負責處理stdout和stderr以及解釋返回代碼。 確保您使用-interaction = batchmode參數啓動pdflatex，因此它不會在每個錯誤都停止。 此外，我會建議使用像velocity或stringtemplate模板引擎來生成乳膠的輸入。 另外，你可能想看看jlatexmath的目的是提供一個Java API的乳膠公式。