36 points | by lo0dot0 3 days ago ago
10 comments
[delayed]
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...
ChatGPT and family has been effective for me, even to connect equations I’m familiar with to areas I hadn’t encountered before.
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
If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
Wolfram Alpha
Claude
[delayed]
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...
ChatGPT and family has been effective for me, even to connect equations I’m familiar with to areas I hadn’t encountered before.
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
If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
Wolfram Alpha
Claude