Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
-
Updated
Jan 23, 2024 - Python
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
Symbolic expressions, rewriting and simplification
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Computer Algebra, Physics and Differential Geometry in Clojure.
The Emmy Computer Algebra System.
A symbolic math library written in Julia modelled off scmutils
A Java library for fast symbolic-numeric computation
A Ruby-based expression parser, evaluator, and programming language
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…
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Combining Symbolic and Function Evaluation Expressions In Neural Programs
❓y0 (pronounced "why not?") is for causal inference in Python
[NeurIPS 2023] This is the official code for the paper "TPSR: Transformer-based Planning for Symbolic Regression"
Connect Owl with other accelerators and numerical frameworks with symbolic maths
An efficient symbolic term rewriting engine
Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl
The JavaScript Open Source symbolic math calculation and rendering engine.
Discussion and test of the first successful approach to solving symbolic mathematics problems through the use of neural networks, proposed for the first time by two Facebook researchers, Guillaume Lample and François Charton. My Master Degree Thesis in Data Science.
x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, constant folding.
Add a description, image, and links to the symbolic-math topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-math topic, visit your repo's landing page and select "manage topics."