MathBrush: An Experimental Pen-Based Math System. - George Labahn; Scott MacLean; Mirette S. Marzouk; Ian Rutherford; David Tausky (Challenges in Symbolic Computation Software, 2006)