An efficient symbolic term rewriting engine
语言:Julia · GitHub 星标:79 · Fork:6
话题:algebra · julia · julialang · rewriting · symbolic · symbolic-computation · symbolic-math
在 GitHub 上查看原仓库