Examination of the state of the art of mathematical formula search for zbMATH Open
type: Item
instance of: scholarly article
title: Examination of the state of the art of mathematical formula search for zbMATH Open
zbMATH Open document ID: 1541.68429
author: Johannes Stegmüller
author: André Greiner-Petter
author: Petr Sojka
author: Olaf Teschke
author: Moritz Schubotz
publication date: 2024-07-05T00:00:00Z
Mathematics Subject Classification ID: 68V35
Mathematics Subject Classification ID: 68U35
Mathematics Subject Classification ID: 68P20
Mathematics Subject Classification ID: 68-03
Mathematics Subject Classification ID: 01A65
zbMATH DE Number: 7877230
zbMATH Keywords: zbMATH Open
zbMATH Keywords: formula search
MaRDI profile type: MaRDI publication profile
cites work: Substitution tree indexing
cites work: A survey on retrieval of mathematical knowledge
cites work: Faceted Search for Mathematics
cites work: Full text formula search in zbMATH
DOI: 10.4171/ZBL90/13
description: scientific article; zbMATH DE number 7877230