This project conducts research to enable the development of a commercial-quality pcbased system for automatically translating mathematical expressions encoded in the nemeth math braille notation to latex, a typesetting software program. The system greatly facilitates communication between students, scientists, and engineers with visual impairments and with their sighted instructors and colleagues. Translation of nemeth math braille to latex is known to be a difficult undertaking; this project applies novel approaches of denotational semantics, logic programming, and definite clause grammar to translation problems. The goal is to show that this technology is powerful enough to cover all of nemeth math braille.
