Adaptation of Notations in Living Mathematical Documents
Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familiar to them. Therefore, authors optimize the choice of notations with respect to these two criteria, while at the same time trying to remain consistent over the document and their own prior publications. In print media where notations are ﬁxed at publication time, this is an over-constrained problem. In living documents notations can be adapted at reading time, taking reader preferences into account. We present a representational infrastructure for notations in living mathematical documents. Mathematical notations can be deﬁned declaratively. Author and reader can extensionally deﬁne the set of available notation deﬁnitions at arbitrary document levels, and they can guide the notation selection function via intensional annotations. We give an abstract speciﬁcation of notation deﬁnitions and the ﬂexible rendering algorithms and show their coverage on paradigmatic examples. We show how to use this framework to render OpenMath and Content-MathML to Presentation-MathML, but the approach extends to arbitrary content and presentation formats. We discuss prototypical implementations of all aspects of the rendering pipeline
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A Mathematical Theory of Parenthesis, Free Notations.William James Meyers - 1975 - Państwowe Wydawn. Naukowe.
Frege's Notations: What They Are and How They Mean.Gregory Landini - 2012 - Palgrave-Macmillan.
An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations.Jeremy Avigad - 2002 - Journal of Mathematical Logic 2 (1):91-112.
The Tinctures and Implicit Quantification Over Worlds.Jay Zeman - 1997 - In Paul Forster & Jacqueline Brunning (eds.), The Rule of Reason: The Philosophy of C.S. Peirce. University of Toronto Press. pp. 96-119.
Normal Functions and Constructive Ordinal Notations.Larry W. Miller - 1976 - Journal of Symbolic Logic 41 (2):439-459.
Notations on G. H. Mead's Principle of Sociality with Special Reference to Transformation.Frank M. Doan - 1956 - Journal of Philosophy 53 (20):607-615.
Systems of Notations and the Ramified Analytical Hierarchy.Joan D. Lukas & Hilary Putnam - 1974 - Journal of Symbolic Logic 39 (2):243-253.
Added to index2010-12-22
Total downloads129 ( #37,146 of 2,168,635 )
Recent downloads (6 months)2 ( #187,136 of 2,168,635 )
How can I increase my downloads?