Digital Repository of Mathematical Formulae

DOI10.1007/978-3-319-08434-3_30zbMath1304.68194arXiv1404.6519WikidataQ60456614 ScholiaQ60456614MaRDI QIDQ5495940

Howard S. Cohl, Moritz Schubotz, B. V. Saunders, Marjorie A. McClain, Janelle C. Williams

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.6519

Mathematics Subject Classification ID

68T30: Knowledge representation

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

Uses Software

• DLMF
• MathJax