I'm a senior level programmer who recently became interested in furthering my math education.<p>I also just became aware of computational algebra systems like emmy: https://github.com/mentat-collective/emmy<p>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!
There are interactive tutorials showing how to use the computer algebra system tool(s) -- generic list of symbolic computer algebra systems/libraries[0].<p>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]<p>few examples from search engine results:<p>online class : <a href="https://courses.smp.uq.edu.au/MATH2504/2023/" rel="nofollow">https://courses.smp.uq.edu.au/MATH2504/2023/</a><p><a href="https://www.mathworks.com/discovery/computer-algebra-system.html" rel="nofollow">https://www.mathworks.com/discovery/computer-algebra-system....</a><p><a href="https://www.cambridge.org/core/books/modern-computer-algebra/DB3563D4013401734851CF683D2F03F0" rel="nofollow">https://www.cambridge.org/core/books/modern-computer-algebra...</a><p><a href="https://doc.sagemath.org/html/en/thematic_tutorials/group_theory.html#group-theory" rel="nofollow">https://doc.sagemath.org/html/en/thematic_tutorials/group_th...</a><p><a href="https://link.springer.com/book/10.1007/978-3-030-16877-3" rel="nofollow">https://link.springer.com/book/10.1007/978-3-030-16877-3</a><p>-------<p>[0] : a) <a href="https://github.com/topics/computer-algebra">https://github.com/topics/computer-algebra</a><p><pre><code> 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
</code></pre>
--------<p>[1] : <a href="https://en.wikipedia.org/wiki/Computer_algebra_system" rel="nofollow">https://en.wikipedia.org/wiki/Computer_algebra_system</a>