文件名称:algebra-elementary:用Haskell编写的基本代数库
文件大小:14KB
文件格式:ZIP
更新时间:2024-05-21 06:31:26
Haskell
代数元素 这是什么? 一个满足所有符号基础代数需求的haskell软件包! 目前,它提供代数表达式AST,通过重写进行简化以及测试套件。 包含haddock文档。 即将推出... AST批注 漂亮打印机(LaTeX,Mathematica,SageMath等)和解析器 完整的计算/求解 三角函数 总结 产品 相关博客文章,论文,Wiki等。 相关的统一库 monad-统一 相关重写库 代数达格 图形重写 术语重写 tpdb 重写 相关求解器库 mfsolve 帕拉伊索 linearEqSolver 简单的 直流荧光灯 本征 Hsmtlib smtlib2
【文件预览】:
algebra-elementary-master
----testsuite()
--------Tasty.hs(5KB)
----src()
--------Numeric()
----benchmark()
--------Criterion.hs(502B)
----.travis.yml(889B)
----LICENSE(1KB)
----README.md(3KB)
----stack.yaml(76B)
----.gitignore(157B)
----algebra-elementary.cabal(3KB)