4 citations · 5 across the 4 of their papers we have counts for
5 papers
Performant Dynamically Typed E-Graphs in Pure Julia
Alessandro Cheli, Niklas Heim
We introduce the third major version of Metatheory.jl, a Julia library for general-purpose metaprogramming and symbolic computation. Metatheory.jl provides a flexible and performan…
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…
Automated Code Optimization with E-Graphs
Alessandro Cheli
This thesis proposes an advanced, generic and high-level code rewriting and analysis system in the Julia programming language, providing applied equality saturation in the presence…
High-performance symbolic-numerics via multiple dispatch
Shashi Gowda, Yingbo Ma, Alessandro Cheli +4
As mathematical computing becomes more democratized in high-level languages, high-performance symbolic-numeric systems are necessary for domain scientists and engineers to get the…
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…