Name
Abstract | ||
|---|---|---|
In this paper, we try to bridge the gap between different dimensions/ incarnations of mathematical knowledge: MKM representation formats (content), their human-oriented languages (source, presentation), their narrative linearizations (narration), and relational presentations used in the semantic web. The central idea is to transport solutions from software engineering to MKM regarding the parallel interlinked maintenance of the different incarnations. We show how the integration of these incarnations can be utilized to enrich the authoring and viewing processes, and we evaluate our infrastructure on the LATIN Logic Atlas, a modular library of logic formalizations, and a set of computer science lecture notes written in STEX - a modular, semantic variant of LATEX. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1007/978-3-642-22673-1_15 | Calculemus/MKM |
Keywords | Field | DocType |
different dimension,mkm representation format,latin logic atlas,relational representation,computer science lecture,combining source,semantic variant,modular library,central idea,different incarnation,human-oriented language,semantic web | Computer science,Semantic Web,Narrative,Modular design,Multimedia | Conference |
Volume | ISSN | Citations |
6824 | 0302-9743 | 5 |
PageRank | References | Authors |
0.49 | 14 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Fulya Horozal | 1 | 55 | 4.32 |
| Alin Iacob | 2 | 5 | 0.49 |
| Constantin Jucovschi | 3 | 53 | 7.56 |
| Michael Kohlhase | 4 | 1095 | 127.65 |
| Florian Rabe | 5 | 333 | 41.66 |