Workshop on Mathematical User Interfaces
Alcor: A user interface for Mizar
Abstract:
The Alcor user
interface to the Mizar library is intended to provide a test bed for exploring
how a mathematician might interact with mathematical knowledge management
tools. Specifically, how can a mathematician whilst working on or writing up
mathematics look up relevant mathematical knowledge without interrupting their
workflow? We describe how a specific interaction style has been used to
implement keyword search and discuss how that style could benefit other more
complex forms of context-specific searching.