Birbla

Where are the good search engines for mathematical formulas?

Where are the good search engines for mathematical formulas?

56 pointsby lo0dot016 comments

Discussion summary

Search engines for mathematical formulas include Wolfram Alpha, OEIS, and TheoremSearch, with users noting the effectiveness of ChatGPT and LLMs. There is ongoing discussion about the impact of AI tools on traditional resources.

What the discussion says

  • Wolfram Alpha is highly recommended for formulas.
  • OEIS is useful for integer sequences.
  • TheoremSearch is a new tool from the University of Washington.
“Wolfram Alpha is effective for math queries.”
— drnick1
“OEIS helps find info on integer sequences.”
— wasabi991011

Comments

Hacker News

theoremgraph/theoremsearch, which comes from the two papers published by the math ai lab at the university of washington.

search tool links: https://www.theoremsearch.com/ (https://arxiv.org/abs/2602.05216) + tagline (Describe a result in natural language, and TheoremSearch finds it across arXiv, the Stacks Project, and more. 70% more accurate than LLM search.)

https://www.theoremsearch.com/theorem-graph (https://arxiv.org/abs/2606.25363) + tagline (A unified statement-level dependency graph spanning both informal and formal mathematics, including 11.7 million arXiv statements linked to Mathlib through a shared embedding space.)

it also exposes an MCP you can see the api and its documentation so it should work with an agent!

by kurgsim22

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

by infinito25

Join the discussion

Write your take first — we'll ask for email only when you're ready to publish.

Sign in