Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation - Published in JOSS (2021)
Science Score: 87.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
○codemeta.json file
-
○.zenodo.json file
-
✓DOI references
Found 1 DOI reference(s) in JOSS metadata -
○Academic links in README
-
○Academic email domains
-
○Institutional organization owner
-
✓JOSS paper metadata
Published in Journal of Open Source Software
Last synced: 7 months ago
·
JSON representation
JOSS Publication
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Published
March 31, 2021
Volume 6, Issue 59, Page 3078
Authors
Alessandro Cheli
University of Pisa, Pisa, Italy
University of Pisa, Pisa, Italy
Editor
David P. Sanders