Reading and writing mathematics: The MAVIS1 Project

Behaviour and Information Technology

Volumn 18, Issue 1, 1999, Pages 2-10

  Karshmer, Arthur I ^a   Gupta, Gopal ^a   Geiger, Sandy ^b   Weaver, Chris ^b  

^a New Mexico State University   (United States)

^b NEW MEXICO STATE UNIVERSITY   (United States)

Author keywords

Latex Education; Mathematics; Nemeth Code

Indexed keywords

COMPUTER AIDED INSTRUCTION; COMPUTER SOFTWARE; INFORMATION TECHNOLOGY; LOGIC PROGRAMMING; USER INTERFACES;

SOFTWARE PACKAGE NEMETH;

LEARNING AIDS FOR HANDICAPPED PERSONS;

EID: 0032760318     PISSN: 0144929X     EISSN: 13623001     Source Type: Journal    
DOI: 10.1080/014492999119192     Document Type: Article

References (18)

1. Aho, A., Ullman, J. D and Sethi, R. 1986, Principles of Compiler Construction. (Addison Wesley).
2. Edwards, A. D. N. 1988, The Design of Auditory Interfaces for Visually Disabled Users. Human Factors in Computing Systems (Proceedings of CHI 88), ACM SIGCHI, 89-94.
3. Edwards, A. D. N. 1989, Soundtrack: An auditory interface for blind users. Human-Computer Interaction, 4, 45-66.
4. Gupta, G. 1997, Horn Logic Denotations and their Applications. Technical Report, Department of Computer Science, New Mexico State University.
5. Hopcroft J. And Ullman, J. 1979, Introduction to Automata Theory, Languages, Computation. Reading, MA: Addison-wesley.
6. Johnson, S. C., 1979, YACC User Reference. Unix Manual.
7. Karshmer, A. I., 1997, Interdisciplinary Efforts to Facilitate the production of Tools Support for the Disabled and Elderly in the Information Society. Invited Presentation, Human-Computer Interaction International Conference, San Francisco, September.
8. Karshmer, A. I. And Wood, D. 1996, Integrating the Visually Impaired Computer User Into Information-Based Workplace. The Finish National Conference on People in the Workplace, Helsinki, August.
9. Karshmer, A. I. 1996, Navigating the Graphical User Interface: A Case for Interdisciplinary Research to Support People with Special Needs. Proceedings of the ICCHP Meeting, Vienna, Austria, July.
10. Karshmer, A. I. And Oliver, R. L. 1993, Special Computer Interfaces for the Visually Handicapped: FOB for the Manufacturer. Proceedings of EWHCI ‘93, Moscow, Russia, August.
11. Karshmer, A. I., Hartley, R. T., Paap, K., Alt, K. And Oliver, R. L., 1992, Using Sound and Sound Spaces to Adapt Graphical Interfaces for Use by the Visually Handicapped. The Proceedings of the 3rd International Conference on Computers and Handicapped Persons, Vienna, July.
12. Karshmer, A. I., Hartley, R. T. And Paap, K., 1992, SoundStation II: Using Sound & Sound Spaces to Provide High Band-width Computer Interfaces to the Visually Handicapped. SIGCAPH Newsletter, January (ACM Press).
13. Karshmer, A. I., Davis, R. D. And Myler, H. 1987, The Architecture of An Inexpensive and Portable Talking-Tactile Terminal to Aid the Visually Handicapped. Computer Standards and Interfaces, 5, 135-151.
14. Karshmer, A. I., Davis, R. D. And Myler, H., 1986, An Inexpensive Talking Tactile Terminal for the Visually Handicapped. The Journal of Medical Systems, 10,(3).
15. Raman, T. V., 1997, Emacsspeak: A Speech-enabling Interface. Dr. Dobbs Journal.
16. Schmidt, D., 1986, Denotational Semantics: A Methodology for Language Development. (Allyn and Bacon).
17. Sterling, L. And Shapiro, S., 1994, The Art of Prolog (Cambridge: MIT Press).
18. Stevens, R., Brewster, S. A., Wright, P. C. And Edwards, A. D. N., 1994, Providing an audio glance at algebra for blind readers, in G. Kramer and S. Smith (eds), Auditory Display: Sonification, Audification and Auditory Interfaces, Proceedings of ICAD ‘94, Sante Fe. (Addison-Wesley), 21-30.