symbolic-computation
There are 176 repositories under symbolic-computation topic.
Hedgehog-Computing/hedgehog-lab
Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.
SciML/ModelingToolkit.jl
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
symforce-org/symforce
Fast symbolic computation, code generation, and nonlinear optimization for robotics
aesara-devs/aesara
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
davidedc/Algebrite
Computer Algebra System in Javascript (Typescript)
ThoughtWorksInc/DeepLearning.scala
A simple library for creating complex neural networks
MilesCranmer/SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
JuliaSymbolics/Metatheory.jl
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
cortex-js/compute-engine
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
Macaulay2/M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
fricas/fricas
Official repository of the FriCAS computer algebra system
chakravala/Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
lecopivo/SciLean
Scientific computing in Lean 4
dharmatech/Symbolism
Computer Algebra and Symbolic Computation in C#
pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
SciML/MethodOfLines.jl
Automatic Finite Difference PDE solving with Julia SciML
sneeuwballen/zipperposition
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, clauses, etc.
grzegorzmazur/yacas
Computer calculations made easy
Quantum-Many-Body/QuantumLattices.jl
Julia package for the construction of quantum lattice systems.
inducer/pymbolic
A simple package to do symbolic math (focus on code gen and DSLs)
DeepMLNet/DeepNet
Deep.Net machine learning framework for F#
SymbolicML/DynamicExpressions.jl
Ridiculously fast symbolic expressions
algebraic-solving/msolve
Library for Polynomial System Solving through Algebraic Methods
hylang/hydiomatic
The Hy Transformer
HarrisonGrodin/Rewrite.jl
An efficient symbolic term rewriting engine
BowenFu/mathiu.cpp
mathiu : a simple computer algebra system in C++.
tirthajyoti/Synthetic-data-gen
Various methods for generating synthetic data for data science and ML
arabiaweather/athena
Automatic equation building and curve fitting. Runs on Tensorflow. Built for academia and research.
aesara-devs/aeppl
Tools for an Aesara-based PPL.
pymc-devs/symbolic-pymc
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Symbolica/Symbolica
Symbolica's open-source symbolic execution engine.
sumiya11/Groebner.jl
Groebner bases in (almost) pure Julia
the-akira/CC33Z
Curso de Ciência da Computação
ahmedmalaa/Symbolic-Metamodeling
Codebase for "Demystifying Black-box Models with Symbolic Metamodels", NeurIPS 2019.
arguiot/Euler
The open-source computational framework for the Swift language
JuliaControl/SymbolicControlSystems.jl
C-code generation and an interface between ControlSystems.jl and SymPy.jl