Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge Michael Kohlhase, Christine Müller, Normen Müller

2 Documents as MathUIs course material book Documents as interfaces between system and human: Documents as interfaces between human and human:

3 Documents components digital docs and doc parts information object physical object presentation object living document content representation active object prin t

4 Narrative OMDoc Content Commons refs MathU I07 pap er5 pap er1 pref ace 3 sect ion1 sect ion2 pap er3 refs embeds refs embeds refs Text 1 Text 2 Def 1 Text5 Pres2 Pres1 Pres3 Pre s4 Symbol1 for Example1 Def 2 Example2 Document Model in OMDoc1.2

5 Notation Context & Practice document binomial coefficient complex unit fractio n sum i j notation context

6 Community of Practice … informal practice-oriented groups of people with similar tasks = Wikipedians = KWARCies = DFKI members = Statisticians 6 A A T N C ➔ CoPs are described by their practices ➔ Selecting notations is a mathematical practice. ➔ CoPs are described by selected notations

7 Content Commons Def1 Pres2 Pres1 Pres3 Symbol1 for Example1 Def 2 Example2 Content Commons Def1 Pres2 Pres1 Pres3 Symbol1 for Example1 Def 2 Example2 Content Commons Def1 Pres2 Pres1 Pres3 Symbol1 for Example1 Def 2 Example2 New OMDoc Document Model Document Commons content narrative Text5 MathU I07 pref ace 3 PCPC inherits embeds refs narrative pap er1 refs narrative pap er3 refs Content Commons Def1 Pres2 Pres1 Pres3 Symbol1 for Example1 Def 2 Example2 Content Commons Def1 Pres2 Pres1 Pres3 Symbol1 for Example1 Def 2 Example2 MathU I06 PCPC refs content Def 1 mid refs content narrative pap er5 sect ion1 sect ion2 Text 1 Text 2 PCPC Pre s4 refs embeds refs rep ort1 inherits PCPC ref s

8 MathUI07-Doc in OMDoc MathUI07 Preface This volume..

9 Documents as Interfaces KWARC DFKI mid

10 Document and Content Commons Content CommonsDocument Commons This volume contains the... <definition xml:id=“def1-id“ mid...some openmath......some openmath...

11 Presentation Context on OMDoc element level. Document Commons Content Commons content narrative content narrative MathU I07 pap er5 pap er1 pref ace 3 sect ion1 sect ion2 Text 1 Text 2 Def 1 PCPC MathU I06 PCPC rep ort1 inherits Text5 pap er3 Pres2 Pres1 Pres3 PCPC Pre s4 refs PCPC embeds refs embeds refs Symbol1 for Example1 Def 2 Example2 mid

12 paper5-Doc in OMDoc Documents with flexible... Introduction In this paper... Outlook To sum up......

13 Presentation Context within OMDoc elements We will discuss the binomial coefficient which can be represented in three ways: i.e. (Germany), (France), and (Russia) We will discuss the binomial coefficient which can be represented in three ways: i.e. (Germany), (France), (Russia)

14 Personalizing Documents overwriting the author's notation context: takes away the author's intention We will discuss the binomial coefficient which can be represented in three ways: i.e. (Germany), (France), (Russia) outlook: author support for preserving specific notations

15 Extensional and Intensional Context Model specify pcontex t specify pc- attribute s author selects notations selects notations extensional model selects notation dimension s enter languag e enter area of appl. selects notations intensional model

16 document collection doc From Notation Contexts to CoP Models structure notation context content doc structure notation context content doc structure notation context content doc structure notation context content Clustering Analysis CoP