The formula search is now integrated into the structured zbMATH search,
which allows for free combination with other query types. Furthermore, formula queries (as, e.g., given in the
Examples) can be refined via the filter functions.
The zbMATH formula search uses the MathWebSearch system, which is a
content-based search engine for MathML formulae based on substitution tree indexing. The first prototype is a
result of a joint research project of FIZ Karlsruhe with the
Jacobs University Bremen, funded by the
Leibniz Association, which aims at developing concepts and
methods for a semantic analysis and retrieval of mathematical formulae in the zbMATH corpus.