Category: software 2014 The Geometry of Restricted Partitions Nov 20 2014 Using Three.js to Create Vector-Graphics from 3D-Visualizations Right in Your Browser Aug 05 2014 2012 Towards a standard file format for formal sketches of mathematical articles Jun 18 2012 Formal proof - first steps with HOL Light Jun 11 2012 OMeta in Qute - a first experiment Mar 12 2012 2011 Qute - 0.4 released, big changes to come Nov 05 2011 Font rendering - smooth versus crisp Jul 27 2011 Qute for PC/Mac Jun 30 2011 Qute - a themable text editor for Android May 01 2011 InkBoard - the default layout Jan 12 2011 InkBoard - designing a pen-centric on-screen keyboard Jan 10 2011 Mathblogging.org Jan 04 2011 2010 Digital Ink with Clojure and OpenGL Dec 20 2010 Writing Mathematics with Textile and MathJax Mar 19 2010