Computer programs

Three things here: (1) bibweb, which is intended for use by mathematicians to look up bibliographical information, (2) various emacs utilities, mainly tied to editing (La)TeX documents, and (3) Sage stuff.


Bibweb is a utility for automatically retrieving bibliographical information from the American Mathematical Society's MathSciNet program.


Lightning Completion and Ultratex
Lightning completion is an improvement on whatever completion Emacs does already; it incorporates ``dynamic completion'': completion without having to hit the TAB key or anything else. This is very useful when added to commands like find-file or switch-to-buffer or describe-lisp-function.

Ultra-TeX mode is a major mode for typing TeX documents; one of its main features is dynamic completion on TeX commands. It has a few other nice bells and whistles. (This includes the lightning completion package, by the way.)
Highlighting Completion
This hasn't been updated in a while, and it is not likely to be updated any time soon.

Highlightling completion is a variant on completion in Emacs. When typing in the minibuffer (for example), whenever the text can be completed, the completion is added to the minibuffer provisionally--it is more a visual cue as to what would be inserted if you hit the TAB key than anything else. Most recent version: 0.08 (30 September 2005).
LaTeX symbols
This hasn't been updated in a while, and it is extremely unlikely to be updated any time soon.

The LaTeX symbols package provides commands in XEmacs to open up windows with tables of various sorts of symbols. Here is an example of this. Most recent version: 0.04 (13 August 2001).

Sage stuff

I've written various pieces of code for Sage, including a package to do calculations in the Steenrod algebra (not Ext calculations), and homology of simplicial, cubical, and Delta complexes. These are part of the standard Sage distribution, so you get them automatically when you download Sage.

Some nice pictures produced using Sage: an equilateral triangle, barycentrically subdivided

  • 2 times: (click on the image to see a larger picture, with size 78kb)
  • 3 times: (147KB)
  • 4 times: (315KB)
  • 5 times: (459KB)
  • 6 times: (1.6MB)
  • A crude animation (500KB)

An isosceles triangle, barycentrically subdivided

  • 3 times: (217KB)
  • 4 times: (614KB)
  • 5 times: (1.2MB)
  • 6 times: (954KB)
  • A crude animation (510KB)
(All pictures produced using Sage with this code.)