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

Here's what I found so far

approach0.xyz : offline

searchonmath.com : Gives irrelevant results such as p = m v when searching for F = m a

https://search.mathweb.org/: A collection of abandoned projects and offline sites

32 points | by lo0dot0 2 days ago

9 comments

MrCoffee7 2 days ago
in no particular order:
https://matlas.ai
https://www.mathdeck.org
https://portal.mardi4nfdi.de/wiki/Portal
https://www.theoremsearch.com/search
https://ansumandas441.github.io/mathematical-discovery-engin...
infinito25 38 minutes ago
+1 to wolfram alpha. But just like Chegg, I thought wolfram alpha would be harshly affected by the AI disruption.
I used it a lot in college but never since. Are current college folks still using it?
throwawayffffas 1 hour ago
https://www.wolframalpha.com/
jll29 46 minutes ago
Slightly related: https://oeis.org
recursivecaveat 1 hour ago
The encyclopedia of integer sequences can be quite useful: https://oeis.org/
wasabi991011 1 hour ago
If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
proofsouq 2 hours ago
ProofSouq.com! https://proofsouq.com
8M+ search index entries over Lean and Rocq corpora and growing; propositions only for now, so more oriented towards premise retrieval at the moment.
[-]
- iib 33 minutes ago
  Lean also has https://www.leanexplore.com and https://loogle.lean-lang.org/
opengrass 2 hours ago
Wolfram Alpha
drnick1 1 hour ago
Claude