Symbolic Python Packages

swiglpk

Simple swig bindings for the GNU Linear Programming Kit

funsor

Functional tensors for probabilistic programming

pythomata

A Python package for automata theory.

galgebra

Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:

omega

Specify and synthesize systems using symbolic algorithms

mini-lambda

Simple lambda functions without `lambda x:` and with string conversion capability.

oscilate

A Python implementation of the Method of Multiple Scales using SymPy for symbolic computation

symdiff

Symbolic differentation of algebraic expressions with Python and Tcl interfaces.

egga

Symbolic Geometric Algebra with E-Graphs

pyrddlgym-symbolic

pyRDDLGym-symbolic: Symbolic toolset for pyRDDLGym via XADD.

latexexpr-efficalc

Modified module for easy LaTeX typesetting of algebraic expressions in symbolic form with automatic substitution and result computation.

polymat

A library to represent and manipulate multivariate polynomials

musicaiz

A python framework for symbolic music generation, evaluation and analysis

psrn

[𝐍𝐚𝐭𝐮𝐫𝐞 𝐂𝐨𝐦𝐩𝐮𝐭𝐚𝐭𝐢𝐨𝐧𝐚𝐥 𝐒𝐜𝐢𝐞𝐧𝐜𝐞] ⚡️ PSE/PSRN: Fast and efficient symbolic expression discovery through parallelized symbolic enumeration. Evaluates millions of expressions simultaneously on GPU with automated subtree reuse.

symop

Symbolic and Gaussian simulation framework for quantum optics and photonic systems

pysr-mcranmer

High-Performance Symbolic Regression in Python and Julia