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

#1

Post by lo0dot0 » Sat, Jul 04, 2026, 6:57 PM UTC

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

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

#2

Post by MrCoffee7 » Sat, Jul 04, 2026, 8:44 PM UTC

in no particular order:

#3

Post by opengrass » Tue, Jul 07, 2026, 3:01 PM UTC

Wolfram Alpha

#4

Post by proofsouq » Tue, Jul 07, 2026, 3:11 PM UTC

[dead]

#5

Post by drnick1 » Tue, Jul 07, 2026, 3:20 PM UTC

Claude

#6

Post by throwawayffffas » Tue, Jul 07, 2026, 3:33 PM UTC

#7

Post by wasabi991011 » Tue, Jul 07, 2026, 3:54 PM UTC

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

#8

Post by recursivecaveat » Tue, Jul 07, 2026, 3:58 PM UTC

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

#9

Post by jll29 » Tue, Jul 07, 2026, 4:26 PM UTC

Slightly related: https://oeis.org

#10

Post by infinito25 » Tue, Jul 07, 2026, 4:35 PM UTC

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