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...

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

https://www.wolframalpha.com/

The encyclopedia of integer sequences can be quite useful: https://oeis.org/

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...

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

Slightly related: https://oeis.org

If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.

Wolfram Alpha

ChatGPT and family has been effective for me, even to connect equations I’m familiar with to areas I hadn’t encountered before.

Claude