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

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

https://www.wolframalpha.com/

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

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

Slightly related: https://oeis.org

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

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

Wolfram Alpha

Claude