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) a
package to do Steenrod algebra calculations in
SAGE.
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.
Steenrod algebra calculations
I've written a package for Sage
to do calculations in the Steenrod algebra (not Ext calculations).
This is now included in the standard Sage distribution, so you get it
automatically when you download Sage.
You can see some documentation in
the Sage reference manual.
|