The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability

Effective communication and collaboration of symbolic and quantitative knowledge requires the digitization of mathematical expressions. The multi-dimensionality of mathematical notation creates a challenge for mathematical software editors. There are two different approaches for handling the multi-dimensionality of mathematical notation: either using a two-dimensional writing environment in which symbols can be placed freely (unit-based) or using an environment in which single-dimensional structural elements can be nested (structure-based). The structure-based approach constrains how users write expressions. These constraints may conflict with how mathematics is normally written. A study is reported that examines how users write mathematical expressions using two graphic based editors: one that is structure-based and one that allows the free-form manipulation of selected symbols in a diagrammatic fashion (unit-based). The results are contrasted with how users handwrite mathematics in a physical medium and implications are drawn for future software design.

[1]  G. Lakoff,et al.  Where mathematics comes from : how the embodied mind brings mathematics into being , 2002 .

[2]  E. Reed.  The Ecological Approach to Visual Perception , 1989 .

[3]  Derek Besner,et al.  Neighborhood effects in reading aloud: new findings and new challenges for computational models. , 2006, Journal of experimental psychology. Human perception and performance.

[4]  Robert L. Goldstone,et al.  Formal notations are diagrams: Evidence from a production task , 2007, Memory & cognition.

[5]  J. Effken,et al.  From discrete actors to goal-directed actions: toward a process-based methodology for psychology , 2005 .

[6]  Kim J. Vicente,et al.  The Human Factor - Revolutionizing the way people live with technology , 2004 .

[7]  Michael G. Reynolds,et al.  Reading aloud: spelling-sound translation uses central attention. , 2008, Journal of experimental psychology. Learning, memory, and cognition.

[8]  Laurie D. Edwards,et al.  Embodying mathematics and science: Microworlds as representations , 1998 .

[9]  Robert L. Goldstone,et al.  How abstract is symbolic thought? , 2007, Journal of experimental psychology. Learning, memory, and cognition.

[10]  Donald E. Knuth,et al.  The TeXbook , 1984 .

[11]  Donald E. Knuth,et al.  The TEX Book , 1984 .

[12]  Thomas Wisniewski,et al.  Xpress: A Novice Interface for the Real-Time Communication of Mathematical Expressions , 2007 .

[13]  Luca Padovani,et al.  An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics , 2004, MKM.

[14]  James Arvo,et al.  A Handwritting-Based Equation Editor , 1999, Graphics Interface.

[15]  Thomas P. Moran,et al.  The evaluation of text editors: methodology and empirical results. , 1983, CACM.

[16]  Richard Zanibbi,et al.  Directions in recognizing tabular structures of handwritten mathematics notation , 2001 .

[17]  Stephen M. Watt,et al.  Mathematical Markup Language (MathML) Version 3.0 , 2001, WWW 2001.