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

9 comments

• MrCoffee7 2 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...
• infinito25 17 minutes 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?
• throwawayffffas 1 hour ago
  https://www.wolframalpha.com/
• jll29 25 minutes ago
  Slightly related: https://oeis.org
• recursivecaveat 54 minutes ago
  The encyclopedia of integer sequences can be quite useful: https://oeis.org/
• wasabi991011 57 minutes ago
  If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
• proofsouq 1 hour ago
  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.

  [-]
  • iib 12 minutes ago
    Lean also has https://www.leanexplore.com and https://loogle.lean-lang.org/
• opengrass 1 hour ago
  Wolfram Alpha
• drnick1 1 hour ago
  Claude