A Python library designed for the representation and manipulation of multivariate polynomial matrices.

Construction of GR(1) contracts for distributed systems (research prototype): <https://doi.org/10.1109/JPROC.2018.2834926> and <https://doi.org/10.1109/ACC.2016.7525009>

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

Safe Deep Symbolic Reinforcement Learning

Calculus powered graphical calculator.

Symbolic compilation of RDDL domains, Dynamic Bayes net (DBN) visualization, symbolic dynamic programming (SDP).

Symbolic function approximator aims to generate a function using a genetic algorithm to approximate a data distribution using the symbolic paradigm with programming logic.

Yet Another Analytical Inverse Kinematics Generator

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

Symbolic Geometric Algebra with E-Graphs

Synthetic data generation for evaluating Large Language Models reasoning.

Counterfactual Reasoning VQA Dataset

Real Spherical Harmonics for PyTorch

Python symbolic canonicalizer and C code generator for embedding convex optimization problems.

Research in Action Primitive Discovery for Robotics

Python framework to symbolically compute Quantum Langevin equations using Sympy

Specify and synthesize systems using symbolic algorithms

A Python package for automata theory.

Simple swig bindings for the GNU Linear Programming Kit