I also just became aware of computational algebra systems like emmy: https://github.com/mentat-collective/emmy
My question is: is there an interactive math curriculum/textbook/etc that uses such a system to teach the math? I would find that a lot more engaging than learning math the old way!
IMHO, bit easier to figure out which math topic(s) want to learn using a given computational algebra system (cas) base on intended applicable area of math[1]
few examples from search engine results:
online class : https://courses.smp.uq.edu.au/MATH2504/2023/
https://www.mathworks.com/discovery/computer-algebra-system....
https://www.cambridge.org/core/books/modern-computer-algebra...
https://doc.sagemath.org/html/en/thematic_tutorials/group_th...
https://link.springer.com/book/10.1007/978-3-030-16877-3
-------
[0] : a) https://github.com/topics/computer-algebra
b) https://mathoverflow.net/questions/19046/open-source-mathematical-software
c) https://philosophy.stackexchange.com/questions/90536/why-are-there-no-computer-algebra-systems-designed-to-import-known-mathematical