I'm a mathematician interested in computers. I also have a pdf version of this PostScript homepage.
My latest preprint is Lambda algebra unstable composition products and the Lambda EHP sequence. See also EHP proof of the Lambda admissible monomial basis.
Here's some Gambit Scheme code to calculate the Curtis algorithm which computes the homology of an algebra Lambda, including a program to differentiate a polynomial 75,299 terms long, which gives a check on a disputed tag in t = 71.
Here is a 760 line Scheme program lc_v.scm computing essentially the standard reduction function of the Lambda Value Calculus discussed in Felleisen and Flatt's notes on LC_v: http://www.ccs.neu.edu/course/com3357/mono.ps.
Here is my computer resume (which uses the Times-Roman fonts from Latex2e), also in gif format.
My mathematical interests are topology, homotopy theory, high dimensional knots, surgery theory. See my latest preprint on Poincaré surgery with John Klein, for recent progress. I've gotten interested in Computer Science, especially Matthias Felleisen's Lambda value calculus, and wrote a paper on the Standard Reduction Theorem in the Lambda Calculus, which explains in what sense the Lambda Calculus is a "compiler".
I have recreational Math interests in mathematical physics (even coauthored a paper with a physicist) and PDE (my thesis was essentially on the Maslov characteristic class of Quantum Mechanics).
I generated most of Coxeter's 59 stellations of the icosahedron with Mathematica, including the 3 inline
images above. The starting point is that the icosahedron is given by
3 golden rectangles:
The picture illustrates that the golden mean is ratio of diagonal of a pentagon to a side. Note that the 1st stellation looks quite different from the Mathematica icon. Moreover, the Mathematica/Maple "Stellate" command will not in fact produce stellations. A 5-pointed star is the simplest example of a stellation (of a pentagon).
This site (math.nwu.edu) is powered by WN, John Franks's free software web server. See his link "Creating a Homepage" for easy instruction on writing a home page, and more information on WN.