Adaptation of Notations in Living Mathematical Documents
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
William James Meyers (1975). A Mathematical Theory of Parenthesis, Free Notations. Państwowe Wydawn. Naukowe.
Gregory Landini (2012). Frege's Notations: What They Are and How They Mean. Palgrave Macmillan.
Jeremy Avigad (2002). An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations. Journal of Mathematical Logic 2 (1):91-112.
Jay Zeman (1997). The Tinctures and Implicit Quantification Over Worlds. In Paul Forster & Jacqueline Brunning (eds.), The Rule of Reason: The Philosophy of C.S. Peirce. University of Toronto Press 96-119.
Susan Leigh Foster (2005). Choreographing Empathy. Topoi 24 (1):81-91.
Walling R. Cyre (1997). Evolution in Computer Engineering Notations. Semiotics:235-242.
Penelope Miller (2012). I Can't Read (Directions)! Journal of Aesthetic Education 46 (3):1-21.
Larry W. Miller (1976). Normal Functions and Constructive Ordinal Notations. Journal of Symbolic Logic 41 (2):439-459.
Frank M. Doan (1956). Notations on G. H. Mead's Principle of Sociality with Special Reference to Transformation. Journal of Philosophy 53 (20):607-615.
Joan D. Lukas & Hilary Putnam (1974). Systems of Notations and the Ramified Analytical Hierarchy. Journal of Symbolic Logic 39 (2):243-253.
Jordan Howard Sobel (1979). Sentential Notations: Unique Decomposition. Notre Dame Journal of Formal Logic 20 (2):377-382.
Added to index2010-12-22
Total downloads121 ( #31,035 of 1,862,234 )
Recent downloads (6 months)4 ( #205,572 of 1,862,234 )
How can I increase my downloads?