搜数学公式，哪些引擎真正好用？

Ask HN: Where are the good search engines for mathematical formulas?

我在寻找能精准搜索数学公式的引擎，目前试过 approach0.xyz、onmath.com 和 search.mathweb.org，但要么只能离线使用，要么搜索结果完全不相关（比如搜 F=ma 却返回 p=mv），甚至全是废弃项目。大家有更好的推荐吗？

"我推荐几个不同方向的工具：matlas.ai、mathdeck.org、portal.mardi4nfdi.de、theoremsearch.com，还有一个名为 mathematical-discovery-engine 的 3D 图形可视化工具。"