DeepAI AI Chat

Publishing Math Lecture Notes as Linked Data

04/20/2010

∙

by Catalin David, et al.

∙

Jacobs University Bremen

∙

∙

We mark up a corpus of LaTeX lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from students and lecturers, and paves the path towards an integration of our corpus with external sites.

Catalin David
1 publication
Michael Kohlhase
11 publications
Christoph Lange
14 publications
Florian Rabe
11 publications
Nikita Zhiltsov
3 publications
Vyacheslav Zholudev
1 publication

page 1

page 2

page 3

page 4

∙ 08/17/2016

Lecture Notes on Spectral Graph Methods

These are lecture notes that are based on the lectures from a class I ta...

0 Michael W. Mahoney, et al. ∙

∙ 12/01/2021

Lecture notes on complexity of quantifier elimination over the reals

These are lecture notes for a course I gave in mid-1990s for MSc student...

0 Nicolai Vorobjov, et al. ∙

∙ 03/06/2023

Basic ZX-calculus for students and professionals

These are the lecture notes of guest lectures for Artur Ekert's course I...

0 Bob Coecke, et al. ∙

∙ 10/19/2017

Swift Linked Data Miner: Mining OWL 2 EL class expressions directly from online RDF datasets

In this study, we present Swift Linked Data Miner, an interruptible algo...

0 Jedrzej Potoniec, et al. ∙

∙ 06/24/2020

DINGO: an ontology for projects and grants linked data

We present DINGO (Data INtegration for Grants Ontology), an ontology tha...

0 Diego Chialva, et al. ∙

∙ 11/17/2022

Efficiency of Learning from Proof Blocks Versus Writing Proofs

Proof Blocks is a software tool that provides students with a scaffolded...

0 Seth Poulsen, et al. ∙

∙ 04/13/2018

Monitoring and Executing Workflows in Linked Data Environments

The W3C's Web of Things working group is aimed at addressing the interop...

0 Tobias Käfer, et al. ∙