Matlab Symbolic Toolbox
The [Dys]functionality of the User Interface
Symbolic Tb
Frog 2015 Mythology in Practice