Results 1  10
of
14
A semantic wiki for mathematical knowledge management
 Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006, Budva, Montenegro, 2006. CEUR Workshop Proceedings. To appear, provisional online version at http://www.eswc2006.org/technologies/ usb/proceedingsworkshops/ eswc200
, 2007
"... SWIM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the structural markup language OMDOC. It has been designed to enable groups of scientists to develop new mathematical theories in OMDOC and to enable scholars to browse such a corpus. Aft ..."
Abstract

Cited by 23 (6 self)
 Add to MetaCart
SWIM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the structural markup language OMDOC. It has been designed to enable groups of scientists to develop new mathematical theories in OMDOC and to enable scholars to browse such a corpus. After a short introduction to semantic wikis and their usefulness for mathematical knowledge, this article presents the architecture and the user interface of the current SWIM prototype and outlines the plans for developing its successor, an ontologybased platform for semantic scientific services that exploit the knowledge and make it accessible to the user. 1
A search engine for mathematical formulae
 Proc. of Artificial Intelligence and Symbolic Computation, number 4120 in LNAI
, 2006
"... Abstract. We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in a ..."
Abstract

Cited by 18 (1 self)
 Add to MetaCart
Abstract. We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in automated theorem provers. For querying, we present a generic language extension approach that allows constructing queries by minimally annotating existing representations. First experiments show that this architecture results in a scalable application. 1
Authoring Presentation for OPENMATH
 Proceedings MKM 2005
, 2005
"... Abstract. Some mathematical objects have more than one notations. When in eLearning systems, mathematical books are compiled from multiple sources, the management efforts to maintain uniform mathematical notations for those objects become problematic. Additionally, the need arises to facilitate the ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
Abstract. Some mathematical objects have more than one notations. When in eLearning systems, mathematical books are compiled from multiple sources, the management efforts to maintain uniform mathematical notations for those objects become problematic. Additionally, the need arises to facilitate the notations editing process for the mathematical objects with authoring tools. In this paper, we present our work towards a solution of this problem. We have designed an authoring cycle supported by authoring tools, which eases the authors in writing the notations for the symbols towards the publishing in an web based eLearning environment for mathematics. 1
Documents with flexible notation contexts as interfaces to mathematical knowledge
 Mathematical User Interfaces Workshop
, 2007
"... In this paper we explore the use of documents as interfaces to mathematical knowledge. We propose an augmented document model that facilitates the explication of a document’s notation context, i.e. the selection of appropriate presentations for all symbols in the document. By separating the notation ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
In this paper we explore the use of documents as interfaces to mathematical knowledge. We propose an augmented document model that facilitates the explication of a document’s notation context, i.e. the selection of appropriate presentations for all symbols in the document. By separating the notation context from the structure and content of a document, we aim at identifying the author’s selection of notation, i.e. his notation practices. This facilitates both, the identification of communities of practice (COP) that share specific notation preferences and, conversely, the adaptation of documents to the notation preferences of identified COPs, e.g. groups of readers and coauthors. Furthermore, explicating a document’s notation context allows for referencing and, particularly, reusing contexts, which reduces the author’s workload during the authoring process. 1
panta rhei
 In Hinneburg [Hin07
"... This paper introduces panta rhei, an interactive and collaborative community reader, which integrates narrative structures into arbitrary materials while at the same time facilitating readers to challenge, discuss, and rate the presented information. Three case study are provided to describe the fun ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
This paper introduces panta rhei, an interactive and collaborative community reader, which integrates narrative structures into arbitrary materials while at the same time facilitating readers to challenge, discuss, and rate the presented information. Three case study are provided to describe the functionality of the system, each of them illustrating different challenges. In particular, this paper focuses on the educational release of panta rhei, which facilitates the annotation and rating of educational content. 1
Mathematical Semantic Markup in a Wiki: the Roles of Symbols and Notations
"... Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machineprocessable and thus allows for a multitude of useful applications. But as it is hard to read and write for humans, an editor needs to understand its ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machineprocessable and thus allows for a multitude of useful applications. But as it is hard to read and write for humans, an editor needs to understand its inherent semantics and allow for a humanreadable presentation. The semantic wiki SWiM offers this support for the OpenMath markup language. Using OpenMath as an example, we present a way of integrating a semantic markup language into a semantic wiki using a document ontology and extracting RDF triples from XML markup. As a benefit gained from making semantics explicit, we show how SWiM supports the collaborative editing of definitions of mathematical symbols and their visual appearance. 1 Making Mathematical Wikis More Semantic What does a wiki need in order to support mathematics in a semantic way? First, there needs to be a way to edit mathematical formulæ. Many wikis offer
Position paper: A real Semantic Web for mathematics deserves a real semantics
"... Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for formal mathematical logic. Semantic Web tools [2] support the first two of these, with little, if any, contribution to the t ..."
Abstract
 Add to MetaCart
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for formal mathematical logic. Semantic Web tools [2] support the first two of these, with little, if any, contribution to the third, while Proof Assistants [17] instrument the third layer, typically with bespoke approaches to the first two. Our position is that a web of mathematical documents, definitions and proofs should be given a fullyfledged semantics in terms of the third layer. We propose a “MathWiki ” to harness Web 2.0 tools and techniques to the rich semantics furnished by contemporary Proof Assistants. 1 Background and state of the art We can identify four worlds of mathematical discourse available on the Web: – Traditional mathematical practice: a systematic body of knowledge, organised around documents written by experts, most often in L ATEX, to varying degrees of sophistication. The intended audience is an expert readership, and
Culturally Aware Mathematics Education Technology
, 2009
"... Education and learning take place in a situation that is heavily influenced by the culture of the learners ’ context because this context affects a learner’s cognitive processes in learning. Hence, to improve the conditions for learning, elearning environments and their contents have to be presente ..."
Abstract
 Add to MetaCart
Education and learning take place in a situation that is heavily influenced by the culture of the learners ’ context because this context affects a learner’s cognitive processes in learning. Hence, to improve the conditions for learning, elearning environments and their contents have to be presented and interact with the learner in a culturally appropriate way. Therefore, an elearning system for crosscultural usage has to adapt to the students ’ diverse cultural background. For the enculturation of the European platform for mathematics learning, ActiveMath, a number of dimensions had to be adapted culturally: presentation of system and learning material, terminology, selection and sequencing of learning objects, interaction, and learning scenarios. The chapter describes ActiveMath ’ enculturation: the empirical basis, computational model, and computational techniques for the cultural adaptation. Topics: culturallyaware systems, groups ’ cultural specificities, culture and eLearning, computational model and perspective Solutions: adaptive systems, ontology engineering, semantic web techniques, knowledge representation techniques, user modelling techniques, system architecture
Culturally Adapted Mathematics Education with
"... Although it may seem that mathematics education material does not need any enculturation, the opposite is true. We report the results of a case study in several European countries and describe the different dimensions in which mathematics educational material has to be adapted to the cultural contex ..."
Abstract
 Add to MetaCart
Although it may seem that mathematics education material does not need any enculturation, the opposite is true. We report the results of a case study in several European countries and describe the different dimensions in which mathematics educational material has to be adapted to the cultural context of the learner. We describe the knowledge representation and mechanisms through which the useradaptive learning platform ActiveMath realizes those adaptations to the language, countries, and communities of practice.
dvi2svg: Using L ATEX layout on the Web
"... adrianf (at) activemath dot org, paul (at) activemath dot org ..."