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, Matlab/Octave, Julia or Javascript

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, Matlab/Octave, Julia or Javascript

gelato

Generalized Locally Toeplitz

sympy-equation

Equations supporting mathematical operations for SymPy

symbolism

Extensible combinator library for building symbolic Python expressions that are compatible with serialization and 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, Matlab/Octave, Julia or Javascript

drudge

A symbolic algebra system for tensorial and noncommutative algebras