Rendern von PDF-Proofs mit Java (via LaTex?)

Question

Momentan arbeite ich an einem automatisierten Theorembeweiser in Java.

Ich möchte diese Beweise, als PDF. Vorzugsweise wird dies etwas wie LaTeX unter Verwendung von proof.sty oder qtree.sty gehen. Ich habe jedoch gelesen, dass das Rendern von LaTeX-Code von Java a bit problematic sein kann.

In Java sind die Beweise durch einfache Bäume dargestellt, auf die Haskell Bäume inspiriert, wie:

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

Hat bekam jemand irgendwelche Ideen, wie man dies am besten tun?

Auf eine verwandte Anmerkung (d. H. Die All-Else-Fail-Lösung) Was sind die besten Methoden für den Aufruf einer pdflatex ausführbare Datei von Java? (Wie finde ich es, herauszufinden, ob es existiert, etc ...)

Answer 1

Sie können jproc verwenden, um pdflatex zu starten. Es gibt Ihnen eine Zeitüberschreitung und kümmert sich um die Verarbeitung von stdout und stderr sowie die Interpretation des Rückgabecodes. Stellen Sie sicher, dass Sie pdflatex mit dem Parameter -interaction = Batchmodus starten, damit es nicht bei jedem Fehler anhält. Außerdem würde ich empfehlen, ein Templating-Modul wie Velocity oder StringTemplate zu verwenden, um den Input für Latex zu erzeugen. Alternativ können Sie sich auch jlatexmath anschauen, die eine Java API für Latex Formeln anbietet.