Ask HN: Wo sind die guten Suchmaschinen für mathematische Formeln?
Ask HN: Where are the good search engines for mathematical formulas?
Ich suche nach guten Suchmaschinen für mathematische Formeln. Ich habe bereits approach0.xyz (offline), onmath.com (liefert irrelevante Ergebnisse wie p = m v, wenn ich nach F = m a suche) und search.mathweb.org (eine Sammlung verlassener Projekte und Offline-Seiten) ausprobiert, aber keiner dieser Dienste hat mich zufriedengestellt. Hat jemand Empfehlungen?
In keiner bestimmten Reihenfolge: https://matlas.ai, https://www.mathdeck.org, https://portal.mardi4nfdi.de/wiki/Portal, https://www.theoremsearch.com/search, https://ansumandas441.github.io/mathematical-discovery-engine/graph_viewer_3d.html