symbolic-math topic
mathy
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
AngouriMath
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
symja_android_library
:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
sicmutils
Computer Algebra, Physics and Differential Geometry in Clojure.
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
Symbolics.jl
A symbolic math library written in Julia modelled off scmutils
keisan
A Ruby-based expression parser, evaluator, and programming language
SymJava
A Java library for fast symbolic-numeric computation
symbolic-pymc
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Rewrite.jl
An efficient symbolic term rewriting engine