公式搜索现已集成到结构化zbMATH开放式搜索,它允许与其他查询类型自由组合。此外,公式查询(例如,在示例)可以通过滤波器函数进行细化。
zbMATH Open公式搜索使用MathWebSearch系统,这是一个基于替换树索引的MathML公式的基于内容的搜索引擎。第一个原型是联合研究项目的结果FIZ卡尔斯鲁厄使用不来梅雅各布斯大学,由莱布尼茨学会旨在发展概念和zbMATH开放语料库中数学公式的语义分析和检索方法。