Joachim's web pages [Home] [Math]

Symbolic computation and computer algebra

Gromov-Witten invariants

Maple 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 Alpha

I 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 diagrams


These were used to typeset all the cobordism diagrams in my book Frobenius algebras and 2D topological quantum field theories

Last updated: 2007-06-10 by Joachim Kock.