Joachim's web pages
[Home]
[Math]
Symbolic computation and computer algebraGromov-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 opetopesCf. 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.styThese were used to typeset all the cobordism diagrams in my book Frobenius algebras and 2D topological quantum field theories |