Most computer algebra systems (CAS) support symbolic integration as core...
This thesis proposes an advanced, generic and high-level code rewriting ...
As mathematical computing becomes more democratized in high-level langua...
We introduce Metatheory.jl: a lightweight and performant general purpose...