alt Hacker NewsAsk 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
Comments
MrCoffee7 • last Saturday at 8:44 PM
throwawayffffas • today at 3:33 PM
jll29 • today at 4:26 PM
Slightly related: https://oeis.org
recursivecaveat • today at 3:58 PM
The encyclopedia of integer sequences can be quite useful: https://oeis.org/
wasabi991011 • today at 3:54 PM
If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
proofsouq • today at 3:11 PM
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.
➕ show 1 reply
opengrass • today at 3:01 PM
Wolfram Alpha
drnick1 • today at 3:20 PM
Claude
+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?