Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"

Ensembler is a python package that provides fast and easy access to 1D and 2D model system simulations. It can be used for method development or to deepen understanding of a broad spectrum of modeling methods, from basic sampling techniques to enhanced sampling and free energy calculations. It is easy to install, fast, increases shareability, co…

[ICLR 2024 Spotlight] This is the official code for the paper "SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training"

❓y0 (pronounced "why not?") is for causal inference in Python

Combining Symbolic and Function Evaluation Expressions In Neural Programs

Symbolic calculus for partial differential equations (and variational forms)

Symbolic Geometric Algebra with E-Graphs

Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501

Calculation of the trajectory of a spinning particle around a black hole with an arbitrary metric tensor.

A Symbolic Library for finding Laplace transforms for provided mathematical expressions.

🧮🤖 Simple implementation of symbolic computations written on pure Python

symengine_example is a Python application to show the ability (and the limitation) of symengine.py for realistic problem.

A maths interpreter built in Python using SymPy

geometry solving system

Python library for calculating formulas for derivatives.

MathIsEZ is a program known to "do your math homework." It understands symbolic math,

A quadratic equation solver

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