English
Related papers

Related papers: Publishing Math Lecture Notes as Linked Data

200 papers

A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links. This work focuses on emerging W3C standards which…

Logic in Computer Science · Computer Science 2011-08-02 Ross Horne , Vladimiro Sassone

Here I share a few notes I used in various course lectures, talks, etc. Some may be just calculations that in the textbooks are more complicated, scattered, or less specific; others may be simple observations I found useful or curious.

Discrete Mathematics · Computer Science 2025-06-17 Leonid A. Levin

This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention is paid to the development of a formal model for the representation of mathematical statements in the Open…

Artificial Intelligence · Computer Science 2023-03-27 Alexander Kirillovich , Olga Nevzorova , Evgeny Lipachev

Today's lectures are often talks following a straight line of slides. In many lectures the process of content teaching is not as efficient as it could be. Technologies, such as smart-phones and wireless communication, enable a new level of…

Computers and Society · Computer Science 2014-12-10 Robin Nicolay

Annotations allow users to associate additional information with existing resources. Using proprietary and closed systems on the Web, users are already able to annotate multimedia resources such as images, audio and video. So far, however,…

Digital Libraries · Computer Science 2011-06-28 Bernhard Haslhofer , Rainer Simon , Robert Sanderson , Herbert van de Sompel

The abundance of the data in the Internet facilitates the improvement of extraction and processing tools. The trend in the open data publishing encourages the adoption of structured formats like CSV and RDF. However, there is still a…

Information Retrieval · Computer Science 2016-08-08 Mikhail Galkin , Dmitry Mouromtsev , Sören Auer

The evaluation of mathematical results plays a central role in assessing researchers' contributions and shaping the direction of the field. Currently, such evaluations rely primarily on human judgment, whether through journal peer review or…

Social and Information Networks · Computer Science 2026-03-31 Gergely Bérczi , Bin Dong , Haocheng Ju , Tianyi Xu

Traditionally, mathematical knowledge is published in printed media such as books or journals. With the advent of the Internet, a new method of publication became available. To date, however, most online mathematical publications do not…

History and Overview · Mathematics 2011-03-01 Markus J. Pflaum , John Tuley

Institutions all over the world are continuously exploring ways to use ICT in improving teaching and learning effectiveness. The use of course web pages, discussion groups, bulletin boards, and e-mails have shown considerable impact on…

Multimedia · Computer Science 2010-03-19 Rajkumar Kannan , Frederic Andres

The semantic web has received many contributions of researchers as ontologies which, in this context, i.e. within RDF linked data, are formalized conceptualizations that might use different protocols, such as RDFS, OWL DL and OWL FULL. In…

Artificial Intelligence · Computer Science 2017-10-30 Renato Fabbri

Many disciplines pose natural-language research questions over large document collections whose answers typically require structured evidence, traditionally obtained by manually designing an annotation schema and exhaustively labeling the…

Computation and Language · Computer Science 2026-04-13 Shahar Levy , Eliya Habba , Reshef Mintz , Barak Raveh , Renana Keydar , Gabriel Stanovsky

MathGloss is a project to create a knowledge graph (KG) for undergraduate mathematics from text, automatically, using modern natural language processing (NLP) tools and resources already available on the web. MathGloss is a linked database…

Computation and Language · Computer Science 2023-11-22 Lucy Horowitz , Valeria de Paiva

Scientific fields are often mapped using citations and metadata, despite knowledge being transmitted primarily through content. We introduce an 'inside-out' approach that reconstructs field structure directly from text by representing each…

Social and Information Networks · Computer Science 2026-01-22 Seorin Kim , Vincent Holst , Vincent Ginis

The Mathematics Subject Classification (MSC) is a widely used scheme for classifying documents in mathematics by subject. Its traditional, idiosyncratic conceptualization and representation makes the scheme hard to maintain and requires…

Cross-referenced parallel markup for mathematics allows the combination of both presentation and content representations while associating the components of each. Interesting applications are enabled by such an arrangement, such as…

Digital Libraries · Computer Science 2015-07-03 Bruce R. Miller

A technique for converting Library of Congress Subject Headings MARCXML to Simple Knowledge Organization System (SKOS) RDF is described. Strengths of the SKOS vocabulary are highlighted, as well as possible points for extension, and the…

Digital Libraries · Computer Science 2013-10-09 Ed Summers , Antoine Isaac , Clay Redding , Dan Krech

Using the National Academies report, {\em Data Science for Undergraduates: Opportunities and Options}, we connect data science curricula to the more familiar pedagogy used by many mathematical scientists. We use their list of ``data acumen"…

Other Statistics · Statistics 2025-06-13 Johanna Hardin

Information and communications technology and technology-enhanced learning have unquestionably transformed traditional teaching-learning processes and are positioned as key factors to promote quality education, one of the basic sustainable…

Mathematical models and algorithms are an essential part of mathematical research data, as they are epistemically grounding numerical data. In order to represent models and algorithms as well as their relationship semantically to make this…