https://fredrikj.net/blog/2022/04/things-i-would-like-to-see-in-a-computer-algebra-system/

https://fungrim.org/

institute: https://risc.jku.at/