Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
Machine Learning with Symbolic Tensors
An extensible, lightweight relational/logic programming DSL written in pure Python
A simple package to do symbolic math (focus on code gen and DSLs)
Tools for an Aesara-based PPL.
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
The source code for the Geometry for Programmers book
Deep-Learning framework from scratch
An improved plotting module for SymPy
AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
Symbolic evaluation of parameterized quantum circuits in Qiskit
An open-source framework for the modeling, simulation and visualization of constrained multi-body systems.
🍊 Intro to symbolic computation in Python including applications to function optimization, physics simulation and more. Includes notebooks on back-propagation, auto-diff and more.
Official PyTorch implementation of PTS/PSRN: Fast and efficient symbolic expression discovery through parallelized tree search. Evaluates millions of expressions simultaneously on GPU with automated subtree reuse.
Collocation methods for trajectory optimization for second or higher order systems.
A differentiable underwater vehicle dynamics in body and ned(euler & quaternion).
Development Halted for indefinite time!
A tensor algebra calculator for General Relativity
Library for finite field arithmetics and polynomial manipulation
Add a description, image, and links to the symbolic-computation topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-computation topic, visit your repo's landing page and select "manage topics."