Ask HN: 数式に特化した優れた検索エンジンはどこにある？
Ask HN: Where are the good search engines for mathematical formulas?
私は数式を検索できる優れた検索エンジンを探しています。これまでにapproach0.xyz（オフライン）、onmath.com（無関係な結果を返す）、search.mathweb.org（放棄されたプロジェクト）を試しましたが、どれも満足のいくものではありません。他に良い選択肢はありますか？
順不同で、matlas.ai、mathdeck.org、portal.mardi4nfdi.de、theoremsearch.com、ansumandas441.github.io/mathematical-discovery-engineなどがあります。