Using HaXml to make a PDF slideshow from an Inkscape SVG

I recently got a tablet to input handwritten math for slideshow presentations, but instead of using a note-taking program (Jarnal, Xournal, Gournal) I decided that I wanted the full power of image manipulation of a program like Gimp or Inkscape. Neither of these, though, has the level of support for multi-page documents that you find in […]

Filed under: Haskell, LaTeX, Linux, Mathematics by Kenn
4 Comments »

Slideshow presentations in LaTeX

There's a really nice presentation package for LaTeX called powerdot; I moved to it directly from Prosper - I never got around to using Beamer or HA-Prosper - and it rules.

Filed under: LaTeX by Kenn
No Comments »

LaTeX editing tools

Editing LaTeX is very nice with WhizzyTeX but I seem to frequently get version/program conflicts where one or more of emacs/whizzytex/advi are unhappy. So I came across a variety of emacs helpers for writing TeX with a little less pain; I have yet to try them out so this list is as much for […]

Filed under: LaTeX, Linux by Kenn
No Comments »

Presenting semi-formal proofs in LaTeX

I've done some reading about presenting somewhat formal proofs (a bit shy of those that can be machine checked), and wanted LaTeX packages that could help me with it. In particular, tedious programming language proofs by near-trivial induction over syntactic structures. I didn't find anything great, but I did find some packages.

Filed under: LaTeX, Mathematics by Kenn
No Comments »