Hacker News

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

36 points by lo0dot0 ago | 10 comments

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

[delayed]

in no particular order:

ChatGPT and family has been effective for me, even to connect equations I’m familiar with to areas I hadn’t encountered before.

+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?

The encyclopedia of integer sequences can be quite useful: https://oeis.org/

Slightly related: https://oeis.org

If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.

Wolfram Alpha

Claude

[dead]