Joachim's web pages
Symbolic computation and computer algebra
Gromov-Witten invariantsMaple programme for computing Gromov-Witten invariant of projcetive spaces and a few other easy varieties -- only genus 0, but including gravitational descendants. Characteristic numbers for rational curves in projective space.
The calculus of opetopes
Cf. the paper Polynomial functors and opetopes
Tcl script for computing faces and composition of opetopes. The opetopes themselves are represented in XML, and there is also a script for automatically generating a graphical representation using dot.
Maple mode and Coq mode for AlphaI am the maintainer of Alpha's Maple mode and Coq mode.
(These are in the standard Alpha distributions.)
See also Tcl scripts for interacting with math programmes from within Alpha.
LaTeX macros for drawing cobordism diagramsbukser.sty
These were used to typeset all the cobordism diagrams in my book Frobenius algebras and 2D topological quantum field theories