Projects
My current main projects are:
| Supporting the genetic method, and the history of proof ideas | |
| Argument mapping and annotations for mathematical proofs |
Alpine Mathematics
Alpine is a little non-profit org whose main job right now is to host an online edition of PISE (the Proofscape Integrated Study Environment), called PISE Online.
Anyone can request hosting and indexing of Proofscape content repos at PISE Online. Curently, the repos of the Toeplitz Project are hosted there.
Nomadic Software, LLC
In contract work through Nomadic, I recently contributed a new library to the Adaptagrams project, which is a C++ library for constraint-based network layout. Adaptagrams is used in many projects, including Inkscape and the Dunnart layout editor:
 |
 |
Publications
The PISE Software was demoed at CICM 2022!
- Steve Kieffer.
PISE–Proofscape Integrated Study Environment (CICM’22 System Entry).
Work-in-progress papers presented at the 15th Conference on Intelligent Computer Mathematics (CICM 2022) Informal Proceedings. 2022. [PDF]
Apart from this, I have a few publications from my graduate work, which included a PhD in Information Visualization at Monash University, a master's degree in Mathematics from Simon Fraser, and a master's degree in Logic & Computation from Carnegie Mellon.
- Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
HOLA: Human-like Orthogonal Network Layout.
IEEE Transactions on Visualization and Computer Graphics 22, no. 1 (2016): 349-358.
Awarded Best Paper at InfoVis 2015!
[preprint] [IEEE] - Ulf Rüegg, Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports.
Proceedings of the 22nd International Symposium on Graph Drawing (GD'14), pp. 319-330. Springer, 2014.
[preprint] [Springer] -
Steve Kieffer.
Argument Mapping for Mathematics in Proofscape.
International Conference on Theory and Application of Diagrams, LNCS 8578: 57-63. Springer, 2014.
[preprint] [Springer] - Steve Kieffer, Tim Dwyer, Kim Marriott, and Michael Wybrow.
Incremental Grid-like Layout Using Soft and Hard Constraints
In Proceedings of the 21st International Symposium on Graph Drawing (GD'13), LNCS 8242: 448-459, 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): 51-66, University of Bialystock, 2009.
[Journal] - Steve Kieffer.
A Language for Mathematical Knowledge Management.
MSc Thesis, 230 pages, Carnegie Mellon University, 2007.
Talks and Posters
- PISE–Proofscape Integrated Study Environment. CICM 2022, (Online talk) Tbilisi, Georgia, 19-23 Sep 2022.
- Proofscape: Argument Mapping for Mathematics. Diagrams 2014, Melbourne, Australia, 31 Jul 2014. [PDF]
- Adaptive Grid-Like Layout. (poster) InfoVis 2013, Atlanta, GA, 13-18 Oct 2013.
- Grids for Dunnart. Graph Drawing 2013, University of Bordeaux, Bordeaux, France, 25 Sep 2013.
- Understanding Mathematics in WWII-Era Number Theory. History and Philosophy of Science and Mathematics Seminar, Monash University, Melbourne, Australia, 17 Oct 2012.
- Periodic Table of Number Theorists
- Illustrating Mathematics. CICM 2008, Doctoral Colloquium, University of Birmingham, Birmingham, England, 29 Jul 2008.
