Computer Algebra, Physics and Differential Geometry in Clojure.

New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

Symbolic expressions, rewriting and simplification

The Emmy Computer Algebra System.

☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

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

A symbolic math library written in Julia modelled off scmutils

mathiu : a simple computer algebra system in C++.

An efficient symbolic term rewriting engine

A Java library for fast symbolic-numeric computation

A Ruby-based expression parser, evaluator, and programming language

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"

x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, constant folding.

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

Toolkit for generating code from symbolic math expressions.

reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.

Combining Symbolic and Function Evaluation Expressions In Neural Programs