Resources from Rewrite.jl presentations at JuliaCon 2018.
Packages: Rewrite.jl and SpecialSets.jl.
Overview of applying Rewrite.jl to sample algebraic domains. Given using included Jupyter notebook, presented with RISE slideshow extension.
Recorded presentation available online.
Details of how Rewrite.jl performs matching, normalization, and completion procedures, alongside sample results and some potential future improvements. Printed from included PDF.