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

9 comments

• chewbaxxa 5 minutes ago

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

• MrCoffee7 3 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...

• throwawayffffas 2 hours ago

  https://www.wolframalpha.com/

• infinito25 an hour 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?

• recursivecaveat 2 hours ago

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

• jll29 an hour ago

  Slightly related: https://oeis.org

• wasabi991011 2 hours ago

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

• opengrass 3 hours ago

  Wolfram Alpha

• drnick1 3 hours ago

  Claude