NNexus reloaded

DOI10.1007/978-3-319-08434-3_31MaRDI QIDQ5495941zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Deyan Ginev, Joseph Corneli

Publication date 7 August 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1404.6548

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Abstract: Interlinking knowledge is one of the cornerstones of online collaboration. While wiki systems typically rely on links supplied by authors, in the early 2000s the mathematics encyclopedia at PlanetMath.org introduced a feature that provides automatic linking for previously defined concepts. The NNexus software suite was developed to support the necessary subtasks of concept indexing, concept discovery and link-annotation. In this paper, we describe our recent reimplementation and revisioning of the NNexus system.

Recommendations

• Document interlinking in a digital math library
• System description: EgoMath2 as a tool for mathematical searching on wikipedia.org
• A Wiki for Mizar: motivation, considerations, and initial prototype
• Connecting islands: bridging zbMATH and DLMF with Scholix, a blueprint for connecting expert knowledge systems
• scientific article; zbMATH DE number 1901199

Cited in

(2)

• Classification of alignments between concepts of formal mathematical systems
• The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics

Describes a project that uses

Uses Software

• NNexus
• MSC
• PlanetMath

This page was built for publication: NNexus reloaded

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5495941)