Steve Kieffer
MArVL Research Group
Faculty of Information Technology
Monash University
Caulfield, Victoria, Australia
email: first name dot last name at monash dot edu

Publications


Talks and Posters


Proofscape

I develop and maintain Proofscape, a collaborative visual library of mathematics.

Dunnart

I contribute to Dunnart, a constraint-based force-directed layout editor.


VerTeX

Do you find anything cumbersome about TeX syntax? For example,

If instead of this... you'd prefer to type this...
a_0, a_1, \ldots, a_{n-1} a0, a1, ddd, an-1
\alpha, \beta, \gamma, ... alpha, beta, gamma, ...
\mathfrak{p} \in \mathbb{Z} frp in bbZ
\frac{2}{3} frac 2 over 3;
\left| x \right| abs x;
f^{(n)} f supp n;
f^{-1} f inv
\sum_{n=0}^\infty a_n sum over n from 0 to infty; an

...then use VerTeX. Installation note: The script expects python to be at /usr/bin/python. If it's not, just change the first line accordingly. I have done no testing on Windows; try at your own risk. Runs fine on all Macs and Linux machines tried so far.

Miscellaneous


Perpetual Calendars


Cryptic crosswords

Cryptic crosswords put an extra twist on ordinary cruciverbology, each clue featuring a literal definition at one end, and word play at the other, and you don't know which is which. I have Chris Mears to thank for getting me hooked on this great time waster.


Scribblings

Nothing groundbreaking here...