Ask HN: Where are the good search engines for mathematical formulas?
37 points by lo0dot0 3 days ago | 12 comments
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
rolph 30 minutes ago
try these
replyhttps://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...
recursivecaveat 3 hours ago
The encyclopedia of integer sequences can be quite useful: https://oeis.org/
replyinfinito25 2 hours ago
+1 to wolfram alpha. But just like Chegg, I thought wolfram alpha would be harshly affected by the AI disruption.
replyI used it a lot in college but never since. Are current college folks still using it?
chewbaxxa 42 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.
replywasabi991011 3 hours ago
If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
reply
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...