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

11 comments

• MrCoffee7 3 days ago 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...
• rolph 18 minutes ago ago

  try these

  https://en.wikipedia.org/wiki/Lists_of_mathematics_topics

  https://en.wikipedia.org/wiki/List_of_rules_of_inference

  https://en.wikipedia.org/wiki/List_of_scientific_equations_n...

  https://en.wikipedia.org/w/index.php?search=List+of+scientif...
• throwawayffffas 3 hours ago ago

  https://www.wolframalpha.com/
• infinito25 2 hours ago 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?

  [-]
  • throawayonthe 12 minutes ago ago

    sure are
• recursivecaveat 2 hours ago ago

  The encyclopedia of integer sequences can be quite useful: https://oeis.org/
• jll29 2 hours ago ago

  Slightly related: https://oeis.org
• chewbaxxa 30 minutes ago ago

  ChatGPT and family has been effective for me, even to connect equations I’m familiar with to areas I hadn’t encountered before.
• wasabi991011 2 hours ago 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 ago

  Wolfram Alpha
• drnick1 3 hours ago ago

  Claude