Sympy Python Packages

pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

pytheory

Music Theory for Humans.

devito

DSL and compiler framework for automated finite-differences and stencil computation

pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

pyccel

Python extension language using accelerators

sbmlmath

SBML MathML ↔ SymPy

simplipy

Efficient Simplification of Mathematical Expressions

ampform

Automatically formulate symbolic amplitude models for Partial-Wave Analysis

sympytorch

Turning SymPy expressions into PyTorch modules.

sympy-plot-backends

An improved plotting module for SymPy

algebra-with-sympy

Equations that can be algebraicly manipulated.

tensorwaves

Python fitter package for multiple computational back-ends

calculuscalculator

A powerful GUI-based calculus calculator for symbolic mathematics, derivatives, integrals, and more.

symfit

Symbolic Fitting; fitting as it should be.

qwed

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

sympy2jax

Turn SymPy expressions into trainable JAX expressions.

liesym

Lie Algebras using Sympy and backend powered by Rust's pyO3 and ndarray

qwed-finance

Deterministic verification middleware for banking and financial AI. NPV, IRR, loan amortization, and interest calculations with QWED precision.

ablina

A Python package for abstract linear algebra

gelato

A Python library for Generalized Locally Toeplitz theory for Isogeometric Analysis.

torch-explain

PyTorch Explain: Interpretable Deep Learning in Python.

essm

This package contains helpers to deal with physical variables and units.

modello

Symbolic modelling

mantis-delta

Mass-Action Network Theory, Inference, and Stability — structural and numerical analysis of chemical reaction networks