Bibliography

Anderson, R. H. (1968).

Syntax-directed recognition of hand-printed two-dimensional mathematics, in M. Klerer & J. Reinfelds (eds), Interactive Systems for Experimental Applied Mathematics, Academic Press, New York, pp. 436-459.

Anderson, R. H. (1971).

A comment on the recognition of hand-printed two-dimensional mathematical expressions, Proceedings of Second Symposium on Symbolic and Algebraic Manipulation, Los Angeles, California, pp. 100-101.

Apple Computer, Inc. (1987).

Human Interface Guidelines: The Apple Desktop Interface, Addison-Wesley.

Avitzur, R. (1992).

Your own handprinting recognition engine, Dr. Dobb's Journal 17(4): 32-37.

Bernstein, M. I. (1971).

Computer input/output of two-dimensional notations, Proceedings of Second Symposium on Symbolic and Algebraic Manipulation, Los Angeles, California, pp. 102-103.

Blostein, D. (1996).

General diagram-recognition methodologies, Graphics Recognition: Methods and Applications, Vol. 1072 of Lecture Notes in Computer Science, Springer Verlag, pp. 106-122.

Blostein, D. & Grbavec, A. (1996).

Recognition of Mathematical Notation, World Scientific Publishing Company, chapter 22.

Brown, C. M. (1988).

Comparison of typing and handwriting in ``two-finger typists'', Proceedings 32nd Annual Meeting of the Human Factors Society, Santa Monica, California, pp. 381-385.

Bunke, H. (1982).

Attributed programmed graph grammars and their application to schematic diagram interpretation, IEEE Transactions on Pattern Analysis and Machine Intelligence 4(6): 574-582.

Bunke, H. & Messmer, B. T. (1997).

Recent advances in graph matching, International Journal of Pattern Recognition and Artifical Intelligence 11(1): 169-203.

Chou, P. A. (1989).

Recognition of equations using a two-dimensional stochastic context-free grammar, Proceedings SPIE Visual Communications and Image Processing IV 1199: 852-863.

Desurvire, H. (1994).

Usability Inspection Methods, John Wiley & Sons, Inc., chapter 7, pp. 173-202.

Dumas, J. & Redish, J. (1993).

A Practical Guide to Usability Testing, Ablex Publishing Corporation, Norwood, New Jersey.

Ettrich, M. (1999).

Lyx webpages.
URL: http://www.lyx.org/

Fateman, R. J., Tokuyasu, T., Berman, B. P. & Mitchell, N. (1996).

Optical character recognition and parsing of typeset mathematics, Journal of Visual Communication and Image Representation 7(1): 2-15.

Fateman, R. & Tokuyasu, T. (1996).

Progress in recognizing typeset mathematics, SPIE, Vol. 2660, pp. 37-50.
fateman/ocrpapers.html">URL: http://http.cs.berkeley.edu/$^\sim$fateman/ocrpapers.html

GNOME (1999).

Gnome project web pages.
URL: http://www.gnome.org

Ha, J., Haralick, R. & Phillips, I. ( 1995).

Recursive X-Y cut using bounding boxes of connected components, Proceedings of the Third International Conference on Document Analysis and Recognition (ICDAR '95), Montreal, Canada, pp. 952-955.

Hayden, M. B. & Lamagna, E. A. ( 1998).

NEWTON: An interactive environment for exploring mathematics, Journal of Symbolic Computation 25(2): 195-212.

Kajler, N. & Soiffer, N. (1998).

A survey of user interfaces for computer algebra systems, Journal Of Symbolic Computation 25(2): 127-159.
kajler/bibliography.html">URL: http://www.ensmp.fr/$^\sim$kajler/bibliography.html

KDE (1999).

The K desktop environment web pages.
URL: http://www.kde.org

Lamport, L. (1994).

L^ATEX: A Document Preparation System, Addison Wesley.

Landay, J. A. (1997).

User testing course note slides.
URL: http://bmrc.berkeley.edu/courseware/cs160/spring97/l ectures/user-testing/

Lavirotte, S. & Pottier, L. (1997)

.
Optical formula recognition, Proceedings 4th International Conference on Document Analysis and Recognition (ICDAR), Vol. 1, Ulm, Germany, pp. 357-361.

Lavirotte, S. & Pottier, L. (1998)

.
Mathematical formula recognition using graph grammar, Proceedings of EI '98 (SPIE Symposium on Electronic Imaging: Science and Technology) .
URL: http://www-sop.inria.fr/safir/slavirot/Ofr/Papers/ei.ps.gz

Littin, R. (1993).

The pen input of mathematical expressions, 4th year honours thesis, University of Waikato.
rhl/papers/publications .html">URL: http://www.cs.waikato.ac.nz/$^\sim$rhl/papers/publications .html

Littin, R. (1995).

Mathematical expression recognition: Parsing pen/tablet input in real-time using LR techniques, Master's thesis, University of Waikato.

Martin, W. A. (1967).

A fast parsing scheme for hand-printed mathematical expressions, AI Memo 145, MIT.

Martin, W. A. (1971).

Computer input/output of mathematical expressions, Proceedings of Second Symposium of Symbolic and Algebraic Manipulation, Los Angeles, California, pp. 78-89.

Microsoft (1993).

Microsoft Word User's Guide, Version 6.0, Microsoft Press.

Microsoft (1995).

The Windows Interface Guidelines for Software Design, Microsoft Press.

Miller, E. G. & Viola, P. A. (1998)

.
Ambiguity and constraint in mathematical expression recognition, Proceedings of the 15th National Conference of Artificial Intelligence, American Association of Artificial Intelligence, Madison, Wisconsin, pp. 784-791.
URL: http://www.ai.mit.edu/people/emiller/OQE_slides/index.htm

Nielsen, J. (1994).

Usability Inspection Methods, John Wiley & Sons, Inc., chapter 2, pp. 25-62.

Nielsen, J. & Mack, R. (eds) (1994)

.
Usability Inspection Methods, John Wiley & Sons, Inc.

Pottier, L. (1995).

Recognition of mathematical formulas, using context sensitive graph grammars.
URL: http://www.inria.fr/safir/whoswho/Loic/issac95/issac95.htm l

Rubine, D. (1991).

Specifying gestures by example, SIGGRAPH '91 Conference Proceedings 25(4): 329-337.

Schumacher Jr., R. M. (1992).

Ameritech graphical user interface standards and design guidelines.
URL: http://www.ameritech.com:1080/corporate/testtown/library/s tandard/std-guix.html

SGI (1999).

Sgi inperson online guide.
URL: http://www.sgi.com/Products/software/InPerson/

Shneiderman, B. (1992).

Designing the User Interface : Strategies for effective human-computer interaction, Addison Wesley.

Smith, S. L. & Mosier, J. N. (1986)

.
Guidelines for designing user interface software, Technical Report ESD-TR-86-278, MITRE Corporation, Bedford, Massachusetts.

Smithies, S., Novins, K. & Arvo, J. ( 1999).

A handwriting-based equation editor, Proceedings of Graphics Interface (GI) 1999, Kingston, Ontario, Canada.

Srihari, S. (1986).

Document image understanding, Proceedings Fall Joint Computer Conference, Dallas, Texas.

Turban, E. (1992).

Expert Systems and Applied Artificial Intelligence, Macmillan Publishing company, chapter 7, pp. 254-256.

van Egmond, S., Heeman, F. C. & van Vliet, J. ( 1989).

INFORM: An interactive syntax-directed formulae editor, The Journal of Systems and Software 9: 169-182.

Wildman, D. (1995).

Getting the most from paired-user testing, ACM Interactions 2(3): 21-27.

Wolfram, S. (1996).

The Mathematica Book, 3rd edn, Wolfram Media/Cambridge University Press.

Yaeger, L. S., Webb, B. J. & Lyon, R. F. ( 1996).

Combining neural networks and context-driven search for online, printed handwriting recognition in the Newton, AI Magazine 19(1): 73-89.

Zhao, Y., Sakurai, T., Sugiura, H. & Torii, T. ( 1996).

A methodology of parsing mathematical notation for mathematical computation, Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ACM Press, Zurich, Switzerland, pp. 292-300.