symbolic-computation topic

Symbolic parser for Julia language term rewriting using REDUCE algebra

chakravala

Computer Algebra and Symbolic Computation in C#

dharmatech

Official repository of the FriCAS computer algebra system

fricas

An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON

cortex-js

Deep.Net machine learning framework for F#

DeepMLNet

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...

sneeuwballen

Curso de Ciência da Computação

the-akira

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

pymc-devs

Various methods for generating synthetic data for data science and ML

tirthajyoti

Automatic Finite Difference PDE solving with Julia SciML

SciML