4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SC2022
Symbolic-Numeric Integration of Univariate Expressions based on Sparse Regression
Shahriar Iravanian, Carl Julius Martensen, Alessandro Cheli +4
Most computer algebra systems (CAS) support symbolic integration as core functionality. The majority of the integration packages use a combination of heuristic algebraic and rule-b…
cs.PL2021★ 4 cited
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Alessandro Cheli
We introduce Metatheory.jl: a lightweight and performant general purpose symbolics and metaprogramming framework meant to simplify the act of writing complex Julia metaprograms and…