Methods to Access and Retrieve Mathematical Content in ActiveMath

DOI10.1007/11832225_33zbMath1283.68319OpenAlexW1582919925MaRDI QIDQ5747828

Paul Libbrecht, Erica Melis

Publication date: 14 September 2010

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

Full work available at URL: https://doi.org/10.1007/11832225_33

Mathematics Subject Classification ID

Knowledge representation (68T30) Information storage and retrieval of data (68P20) Technological tools, calculators (aspects of mathematics education) (97U70)

Related Items

Part-of-math tagging and applications, A survey on retrieval of mathematical knowledge, A Query Language for Formal Mathematical Libraries, An Approach to Math-Similarity Search

Uses Software

• MathWebSearch
• MoMM
• ActiveMath
• OMDoc