Symbolic Manipulation Python Packages

casadi

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

sym

Unified interface to symbolic manipulation libraries in Python

pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

symbolica

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

casadi-gil-comp

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

gelato

Generalized Locally Toeplitz

sympy-equation

Equations supporting mathematical operations for SymPy

symbolism

Extensible combinator library for building symbolic expressions that can be evaluated at a later time.

pyddlib

pyddlib is a Python3 library for manipulating decision diagrams (DD).

casadi-fork

CasADi -- framework for algorithmic differentiation and numeric optimization