Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation

Julia Submitted 12 February 2021Published 31 March 2021
Review

Editor: @dpsanders (all papers)
Reviewers: @mwillsey (all reviews), @jpfairbanks (all reviews), @philzook58 (all reviews)

Authors

Alessandro Cheli (0000-0002-8122-9469)

Citation

Cheli, A., (2021). Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation. Journal of Open Source Software, 6(59), 3078, https://doi.org/10.21105/joss.03078

@article{Cheli2021, doi = {10.21105/joss.03078}, url = {https://doi.org/10.21105/joss.03078}, year = {2021}, publisher = {The Open Journal}, volume = {6}, number = {59}, pages = {3078}, author = {Alessandro Cheli}, title = {Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation}, journal = {Journal of Open Source Software} }
Copy citation string · Copy BibTeX  
Tags

compiler symbolic algebra rewriting optimization

Altmetrics
Markdown badge

 

License

Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066