Sympy Python Packages

pyodesys

∫ Straightforward numerical integration of systems of ordinary differential equations

pyneqsys

Solve symbolically defined systems of non-linear equations numerically.

pyccel

Python extension language using accelerators

pytheory

Music Theory for Humans.

devito

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

sympy-plot-backends

An improved plotting module for SymPy

ampform

Automatically formulate symbolic amplitude models for Partial-Wave Analysis

sbmlmath

SBML MathML ↔ SymPy

algebra-with-sympy

Tools for doing stepwise algebra in an on paper like manner using SymPy.

sympytorch

Turning SymPy expressions into PyTorch modules.

symfit

Symbolic Fitting; fitting as it should be.

tensorwaves

Python fitter package for multiple computational back-ends

liesym

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

sympy2jax

Turn SymPy expressions into trainable JAX expressions.

py-nabla

∇ Nabla: A production-grade, LaTeX-first mathematical computing library for Python. Bridges symbolic and numeric analysis with a robust Earley Parser. 🚀

qwed-finance

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

qwed

The Deterministic Verification Protocol for AI - 11 verification engines for math, logic, code, SQL, facts, images, and more. Now with Agentic Security Guards.

torch-explain

PyTorch Explain: Interpretable Deep Learning in Python.

essm

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

ablina

A Python package for abstract linear algebra

arbiter-debate

Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.

simplipy

Efficient Simplification of Mathematical Expressions

handyderivatives

Calc. on the command line - with LaTeX output.

symbeam

A pedagogical package for bending diagrams