项目作者: HarrisonGrodin

项目描述 :
Resources from Rewrite.jl presentations at JuliaCon 2018.
高级语言: Jupyter Notebook
项目地址: git://github.com/HarrisonGrodin/JuliaCon2018.git
创建时间: 2018-08-10T13:39:43Z
项目社区:https://github.com/HarrisonGrodin/JuliaCon2018

开源协议:MIT License

下载


Rewrite.jl Resources from JuliaCon 2018

Resources from Rewrite.jl presentations at JuliaCon 2018.

Packages: Rewrite.jl and SpecialSets.jl.

Talk: Algebraic Simplification Using Rewrite.jl

Overview of applying Rewrite.jl to sample algebraic domains. Given using included Jupyter notebook, presented with RISE slideshow extension.

Recorded presentation available online.

Poster: Term Rewriting Using Rewrite.jl

Details of how Rewrite.jl performs matching, normalization, and completion procedures, alongside sample results and some potential future improvements. Printed from included PDF.