Examination of the state of the art of mathematical formula search for zbMATH Open

DOI10.4171/ZBL90/13zbMATH Open1541.68429MaRDI QIDQ6567999FDOQ6567999

Moritz Schubotz, André Greiner-Petter, Petr Sojka, Johannes Stegmüller, Olaf Teschke

Publication date: 5 July 2024

zbMATH Keywords

formula searchzbMATH Open

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) History of computer science (68-03) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Development of contemporary mathematics (01A65) Digital mathematics libraries and repositories (68V35)

Cites Work

• Full text formula search in zbMATH
• Substitution tree indexing
• A survey on retrieval of mathematical knowledge
• Faceted Search for Mathematics

This page was built for publication: Examination of the state of the art of mathematical formula search for zbMATH Open

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