research
∙
01/29/2022
Symbolic-Numeric Integration of Univariate Expressions based on Sparse Regression
Most computer algebra systems (CAS) support symbolic integration as core...
share
research
∙
12/26/2021
Automated Code Optimization with E-Graphs
This thesis proposes an advanced, generic and high-level code rewriting ...
research
∙
05/09/2021
High-performance symbolic-numerics via multiple dispatch
As mathematical computing becomes more democratized in high-level langua...
research
∙
02/15/2021