Proofscape
I develop and maintain
Proofscape,
a collaborative visual library of mathematics.
Dunnart
I contribute to
Dunnart, a constraintbased
forcedirected layout editor.
Publications
 Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
HOLA: Humanlike Orthogonal Network Layout.
IEEE Transactions on Visualization and Computer Graphics
22, no. 1 (2016): 349358.
[preprint]
[IEEE]
 Ulf Rüegg, Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
StressMinimizing Orthogonal Layout of Data Flow Diagrams with Ports.
Proceedings of the 22nd International Symposium on Graph Drawing
(GD'14), pp. 319330. Springer, 2014.
[preprint]
[Springer]

Steve Kieffer.
Argument Mapping for Mathematics in Proofscape.
International Conference on Theory and Application of Diagrams, LNCS 8578: 5763. Springer, 2014.
[preprint]
[Springer]
 Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
Incremental Gridlike Layout Using Soft and Hard
Constraints
In Proceedings of the 21st International Symposium on Graph Drawing
(GD'13), LNCS 8242: 448459, Springer 2013.
[preprint with Appendix]
[Springer]

Steve Kieffer.
Computability in Principle and Practice in Algebraic Number
Theory.
MSc Thesis, 316 pages, Simon Fraser University, 2012.
[SFU library]
 Steve Kieffer, Jeremy Avigad, and Harvey Friedman.
A Language for Mathematical Knowledge Management
In Studies in Logic, Grammar and Rhetoric, special issue on
Computer Reconstruction of the Body of Mathematics,
18(31): 5166, University of Bialystock, 2009.
[Journal]
 Steve Kieffer.
A Language for Mathematical Knowledge Management.
MSc Thesis, 230 pages, Carnegie Mellon University, 2007.
Talks and Posters

Proofscape: Argument Mapping for Mathematics.
Diagrams 2014,
Melbourne, Australia, 31 Jul 2014.
[PDF]
Huge thanks to Michael Wybrow on this one, who generously presented the talk for me when I
had to miss the conference.
Here he is.
(And thanks to Tim for the photo!)

Adaptive GridLike Layout. (poster)
InfoVis 2013,
Atlanta, GA, 1318 Oct 2013.
[PDF]

Grids for Dunnart.
Graph Drawing 2013,
University of Bordeaux, Bordeaux, France, 25 Sep 2013.
[PDF]

Understanding Mathematics in WWIIEra Number Theory.
History
and Philosophy of Science and Mathematics Seminar, Monash
University, Melbourne, Australia, 17 Oct 2012.
[PDF]

Illustrating Mathematics.
CICM 2008, Doctoral Colloquium,
University of Birmingham, Birmingham, England, 29 Jul 2008.
[PDF]
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_{n1} 
a0, a1, ddd, an1 
\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...