Digital Repository of Mathematical Formulae
From MaRDI portal
Publication:5495940
DOI10.1007/978-3-319-08434-3_30zbMath1304.68194arXiv1404.6519OpenAlexW3098409172WikidataQ60456614 ScholiaQ60456614MaRDI QIDQ5495940
B. V. Saunders, Marjorie A. McClain, Moritz Schubotz, Janelle C. Williams, Howard S. Cohl
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
Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Related Items (4)
VMEXT: a visualization tool for mathematical expression trees ⋮ Part-of-math tagging and applications ⋮ FunGrim: A Symbolic Library for Special Functions ⋮ Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources
Uses Software
Cites Work
This page was built for publication: Digital Repository of Mathematical Formulae