algebra-elementary

What is this?

A haskell package for all your symbolic elementary algebra needs! It currently provides an algebraic expression AST, simplification via rewriting, and a test-suite. Complete with haddock documentation.

Coming soon...

• AST annotations
• pretty-printers (LaTeX, Mathematica, SageMath, etc.) and parsers
• full computation/solving
• trigonometric functions
• summations
• products

Related blog posts, papers, wikis, etc.

• Wikipedia: Unification
• Wikipedia: Rewriting
• Ben Kovach: Symbolic Calculus in Haskell
• Chris Taylor: The Algebra of Algebraic Data Types, Part 3
• Whitepaper: A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra
• Whitepaper: SMT-Solving for the Real Algebra

Related unification libraries

• agnum
• cmu
• unification-fd
• monad-unify

Related rewriting libraries

• algebra-dag
• graph-rewriting
• term-rewriting
• tpdb
• ho-rewriting

Related solver libraries

• mfsolve
• Paraiso
• linearEqSolver
• simple-smt
• DCFL
• eigen
• Hsmtlib
• smtlib2