Presenting Mathematical Content With Flexible Elisions
Mathematicians frequently elide brackets or symbols in formulae to concentrate on essential facts and to avoid distract experienced mathematicians with notation that can easily be deduced from context. In this paper we propose a extension of the notation specification infrastructure in OMDoc by functionality for flexible elisions.
Publication_details:
Living Paper given at the OpenMath/JEM Workshop 2007: this will evolve over time. Type:
Conference paperDate:
2007/06/25URL:
Paper on omdoc.orgPartner_node:
Jacobs University- Printer-friendly version
- 3587 reads
