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


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


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


Talks and Posters


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.


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.


Nothing groundbreaking here...