STEGMÜLLER, Johannes, André GREINER-PETTER,
Petr SOJKA, Olaf TESCHKE and Moritz SCHUBOTZ. Examination of the state of the art of mathematical formula search for zbMATHOpen. In Klaus Hulek, Octavio Paniagua Taboada, Olaf Teschke.
90 Years of zbMATH. Berlin: EMS Press, 2024, p. 27-41. ISBN 978-3-98547-073-0. Available from: https://dx.doi.org/10.4171/zbl90/13.