元理论.jl swMATH ID: 37953 软件作者： 亚历山德罗·切利 描述： Metatheory.jl是一个用于Julia编程语言的通用元编程和代数计算库，旨在利用强大的反射功能来弥合符号数学、抽象解释、方程式推理、优化、可组合编译器转换、，以及先进的同象模式匹配功能。Metatheory.jl的核心功能是e-graph重写，这是一种通过等式饱和算法实现术语重写的新方法。直观地说，Metatheory.jl可以在其他Julia表达式中转换Julia公式，并且可以在编译和运行时实现这一点。这允许Metatheory.jl用户执行专门针对单个、任意Julia包定制的可组合编译器优化。我们的库提供了一个简单的代数合成接口，通过在高抽象级别上用纯语法有效的Julia定义简洁的重写规则，帮助科学家实现和推理语义和各种形式系统。我们在电子图上实现的等式饱和是基于在鸡蛋库中实现的优秀、最先进的技术，在纯Julia中重新实现。 主页： https://0x0f0f0f-github.io/元理论.jl/dev/ 源代码： https://github.com/0x0f0f0f/元理论.jl 依赖项： 朱莉娅 关键词： 开源软件杂志;朱莉娅;Julia编程语言;元编程;代数计算库;可扩展等式饱和 相关软件： 匹配Core.jl;MLStyle.jl系列;鸡蛋;运行时生成的函数.jl;朱莉娅;建模工具包.jl;SymPy公司;符号数字集成.jl;数据驱动DiffEq.jl;微分方程.jl 引用于： 1文件 标准条款 1出版物描述软件 年份 Metatheory.jl：具有可扩展等式饱和的Julia中快速优雅的代数计算链接亚历山德罗·切利 2021 全部的 前5名7位作者引用 1 亚历山德罗·切利 1 沙什·高达 1 伊朗文、沙赫里亚尔 1 阿南·杰恩 1 马英波 1 卡尔·朱利叶斯·马滕森 1 拉考卡斯，克里斯 连载1篇 1 计算机代数中的ACM通信 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文