A simple symbolic library with a pretty name 🧚🏻
-
Updated
Nov 20, 2018 - Julia
A simple symbolic library with a pretty name 🧚🏻
Previous iteration of QEDb [ARCHIVED]
Symbolic manipulation of mathematical expressions
Unified interface to symbolic manipulation libraries in Python
Heuristics for interpreting Haskell float literals with the correct precision
SML Implementation of Automatic Differentiation
F# Mathematics Library
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
Identity suppressed decision diagrams (IDDs)
Extensible combinator library for building symbolic Python expressions that are compatible with serialization and can be evaluated at a later time.
Identifying numerically safe eliminations automatically
pyddlib is a Python3 library for manipulating decision diagrams.
Generalized Locally Toeplitz
Lightweight server for testing equivalence of two symbolic expressions.
Very simple CAS in Ruby
Convenient Haskell syntax for writing in LaTeX math expressions
A symbolic manipulation toolkit which aims to handle expressions with billions of terms
Mathematica package for calculating polynomial integrals over the unitary group
Add a description, image, and links to the symbolic-manipulation topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-manipulation topic, visit your repo's landing page and select "manage topics."