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.

pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

sym

Unified interface to symbolic manipulation libraries in Python

pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

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.

symbolica

A modern computer algebra library for Python and Rust.

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.

casadi-fork

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.