HELM and the Semantic Math-Web

Asperti, Andrea; Padovani, Luca; Coen, Claudio Sacerdoti; Schena, Irene

doi:10.1007/3-540-44755-5_6

Cited by 18 publications

(11 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Asperti et al (Asperti, Padovani, Coen, & Schena, 2001) presented HELM, a framework that uses XML technology for building structures contents in a logical manner. The purpose is to use the system as a library for indexing and retrieving mathematical documents.…”

Section: A Searching Mathematical Contentsmentioning

confidence: 99%

Annotations, Collaborative Tagging, and Searching Mathematics in E-Learning

Doush¹,

Alkhateeb²,

Maghayreh³

et al. 2011

IJACSA

View full text Add to dashboard Cite

Abstract-This paper presents a new framework for adding semantics into e-learning system. The proposed approach relies on two principles. The first principle is the automatic addition of semantic information when creating the mathematical contents. The second principle is the collaborative tagging and annotation of the e-learning contents and the use of an ontology to categorize the e-learning contents. The proposed system encodes the mathematical contents using presentation MathML with RDFa annotations. The system allows students to highlight and annotate specific parts of the e-learning contents. The objective is to add meaning into the e-learning contents, to add relationships between contents, and to create a framework to facilitate searching the contents. This semantic information can be used to answer semantic queries (e.g., SPARQL) to retrieve information request of a user. This work is implemented as an embedded code into Moodle e-learning system.

show abstract

Section: A Searching Mathematical Contentsmentioning

confidence: 99%

Annotations, Collaborative Tagging, and Searching Mathematics in E-Learning

Doush¹,

Alkhateeb²,

Maghayreh³

et al. 2011

IJACSA

View full text Add to dashboard Cite

show abstract

“…The methods are not even specific to the OMDoc format, we will only assume that the knowledge base systems use a similar Xml-based format for communication and provide a way to re-create the original interface documents. This would for instance cover the the HELM system [APCS01], which employs a lightweight infrastructure based mainly on Xml documents and XslT stylesheets for MKM.…”

Section: Contribution Of This Papermentioning

confidence: 99%

Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

Kohlhase

Anghelache

2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We propose an infrastructure for collaborative content management and version control for structured mathematical knowledge. This will enable multiple users to work jointly on mathematical theories with minimal interference. We describe the API and the functionality needed to realize a cvs-like version control and distribution model. This architecture extends the cvs architecture in two ways, motivated by the specific needs of distributed management of structured mathematical knowledge on the Internet. On the one hand the one-level client/server model of cvs is generalized to a multi-level graph of client/server relations, and on the other hand the underlying change-detection tools take the math-specific structure of the data into account.

show abstract

“…Efforts to publish formalised mathematical content on the web include HELM [1] and MoWGLI [15]. The MathWeb project [12] provides a standardised interface using OMDoc [9] as an exchange language.…”

Section: Discussionmentioning

confidence: 99%

“…1 Modern software development uses sophisticated Integrated Development 1 We note a few exceptions in a related work section in the conclusions. Environments (IDEs), which support features such as automatic documentation lookup, completion of identifiers, and integration with version control and the build process.…”

Section: Introducing Proof General Kitmentioning

confidence: 99%

A Framework for Interactive Proof

Aspinall

Lüth²,

Winterstein

Towards Mechanized Mathematical Assistants

View full text Add to dashboard Cite

Abstract. This paper introduces Proof General Kit, a framework for software components tailored to interactive proof development. The goal of the framework is to enable flexible environments for managing formal proofs across their life-cycle: creation, maintenance and exploitation. The framework connects together different kinds of component, exchanging messages using a common communication infrastructure and protocol called PGIP. The main channel connects provers to displays. Provers are the back-end interactive proof engines and displays are components for interacting with the user, allowing browsing or editing of proofs. At the core of the framework is a broker middleware component which manages proof-in-progress and mediates between components.

show abstract

HELM and the Semantic Math-Web

Cited by 18 publications

References 2 publications

Annotations, Collaborative Tagging, and Searching Mathematics in E-Learning

Annotations, Collaborative Tagging, and Searching Mathematics in E-Learning

Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

A Framework for Interactive Proof

Contact Info

Product

Resources

About