Main
Teaching
Research
Computing

Computer programs

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

Bibweb

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

For more information, including links to online documentation, see the Bibweb main page.

Emacs

Lightning Completion
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. Most recent version: 0.72 (30 September 2005).
Ultra-TeX
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.) Most recent version: 0.72 (30 September 2005).
LaTeX symbols
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).
Highlighting Completion
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).
See the recent change list for a list of recent changes.