4 ms·
Ask HN: Where are the good search engines for mathematical formulas?
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
- MrCoffee7 3mo agoin no particular order: https://matlas.ai https://matlas.ai https://www.mathdeck.org https://www.mathdeck.org https://portal.mardi4nfdi.de/wiki/Portal https://portal.mardi4nfdi.de/wiki/Portal https://www.theoremsearch.com/search https://www.theoremsearch.com/search https://ansumandas441.github.io/mathematical-discovery-engine/graph_viewer_3d.html https://ansumandas441.github.io/mathematical-discovery-engin...
- opengrass 3mo agoWolfram Alpha
- proofsouq 3mo ago[dead]
- iib 3mo agoLean also has https://www.leanexplore.com https://www.leanexplore.com and https://loogle.lean-lang.org/ https://loogle.lean-lang.org/
- drnick1 3mo agoClaude
- throwawayffffas 3mo agohttps://www.wolframalpha.com/ https://www.wolframalpha.com/
- wasabi991011 3mo agoIf the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
- recursivecaveat 3mo agoThe encyclopedia of integer sequences can be quite useful: https://oeis.org/ https://oeis.org/
- davidcox143 3mo agoThere’s an awesome hard copy book of these: https://oeis.org/book.html https://oeis.org/book.html
- jll29 3mo agoSlightly related: https://oeis.org https://oeis.org
- infinito25 3mo 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 3mo agosure are
- chewbaxxa 3mo agoChatGPT and family has been effective for me, even to connect equations I’m familiar with to areas I hadn’t encountered before.
- rolph 3mo agotry these https://en.wikipedia.org/wiki/Lists_of_mathematics_topics 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_rules_of_inference https://en.wikipedia.org/wiki/List_of_scientific_equations_named_after_people https://en.wikipedia.org/wiki/List_of_scientific_equations_n... https://en.wikipedia.org/w/index.php?search=List+of+scientific+equations&title=Special:Search&ns0=1 https://en.wikipedia.org/w/index.php?search=List+of+scientif...
- johnea 3mo agoWhere are the good search engines, for anything? As the push to force users onto LLMs, search has plummeted in effectively finding relevant pages. And not just goggle. Why isn't anyone applying LLMs to interpreting the semantic meaning of the search query, and finding pages that closely match?
- kurgsim22 3mo agotheoremgraph/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://www.theoremsearch.com/ (https://arxiv.org/abs/2602.05216 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://www.theoremsearch.com/theorem-graph (https://arxiv.org/abs/2606.25363 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!
- tdkx21 3mo ago[dead]
- mackwell 3mo agoPerhaps not quite what you're looking for but related - I recently made this modernized Rust / WASM version of RIES, which finds algebraic equations from their solutions: https://maxwellsantoro.com/projects/ries-rs/ https://maxwellsantoro.com/projects/ries-rs/