symbolic-manipulation
Here are 38 public repositories matching this topic...
Heuristics for interpreting Haskell float literals with the correct precision
-
Updated
Mar 16, 2024 - Haskell
SML Implementation of Automatic Differentiation
-
Updated
Apr 12, 2017 - Standard ML
Identity suppressed decision diagrams (IDDs)
-
Updated
Apr 26, 2021 - OCaml
F# Mathematics Library
-
Updated
Jun 17, 2019 - F#
Symbolic manipulation of mathematical expressions
-
Updated
Jun 26, 2017 - Python
Extensible combinator library for building symbolic Python expressions that are compatible with serialization and can be evaluated at a later time.
-
Updated
Aug 4, 2022 - Python
Very simple CAS in Ruby
-
Updated
Jul 6, 2017 - Ruby
Previous iteration of QEDb [ARCHIVED]
-
Updated
Jul 29, 2017 - Dart
Identifying numerically safe eliminations automatically
-
Updated
Nov 19, 2022 - Python
Generalized Locally Toeplitz
-
Updated
Jun 27, 2023 - Jupyter Notebook
pyddlib is a Python3 library for manipulating decision diagrams.
-
Updated
Mar 16, 2017 - Python
Unified interface to symbolic manipulation libraries in Python
-
Updated
Apr 25, 2024 - Python
Lightweight server for testing equivalence of two symbolic expressions.
-
Updated
Apr 23, 2024 - Python
Mathematica package for calculating polynomial integrals over the unitary group
-
Updated
Apr 22, 2020 - Mathematica
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
-
Updated
Mar 16, 2024 - Haskell
CAS based on sympy focusing on tensor and noncommutative algebras
-
Updated
Jun 1, 2023 - Python
A symbolic manipulation toolkit which aims to handle expressions with billions of terms
-
Updated
Jan 11, 2023 - Rust
Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
-
Updated
Sep 26, 2021 - C++
Improve this page
Add a description, image, and links to the symbolic-manipulation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the symbolic-manipulation topic, visit your repo's landing page and select "manage topics."