We present the STEX+ system, a user-driven advancement of STEX---a semantic extension
of LATEX that allows for producing high-quality PDF documents for (proof) reading and …

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 …

Mathematics is becoming increasingly collaborative, but software does not sufficiently
support that: Social Web applications do not currently make mathematical knowledge …

The application of computer-based methods to mathematics, while meaningful, is
constrained by the fact the most mathematical knowledge exists in forms that can only be …

TNTBase is a versioned XML database; it combines XML fragment access techniques like
XQuery with file system functionality and versioning features a la Subversion. We present an …

This research project develops around a technological intervention intended to transform a
peer produced reference resource into a peer produced learning environment. Through the …

The paper proposes a framework that explores document structures, metadata, and context
to adapt mathematical documents on three layers-the content, structure, and presentation …

Semantic Web Collaboration on Semiformal Mathematical Knowledge Page 1 Jacobs University
Bremen – School of Engineering and Science Ph. D. esis submitted in partial fulfillment of the …

Throughout the years, the standard for spreading knowledge, mathematical knowledge in
particular, was printed documents (books, articles etc.). In the last years, there has been a …

Аннотация Статья содержит обзор технологий Семантического Веба для
представления научных математических документов. Обсуждаются вопросы …