symbolic-computation

There are 15 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.
computer-algebra data-visualization gpu-acceleration javascript latex machine-learning matrix-library scientific-computing symbolic-computation tex webgl webgl2
Language:TypeScript 2379
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
differential-equations ode dae ordinary-differential-equations pde sde dde stochastic-differential-equations delay-differential-equations julia symbolic symbolic-computation symbolic-numerics computer-algebra sciml scientific-machine-learning optimization nonlinear-programming acausal equation-based
Language:Julia 1551
symforce
symforce-org / symforce
Fast symbolic computation, code generation, and nonlinear optimization for robotics
autonomous-vehicles code-generation computer-vision cpp motion-planning optimization python robotics slam structure-from-motion symbolic-computation
Language:C++ 1485
aesara
aesara-devs / aesara
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
symbolic-computation tensors theano automatic-differentiation transpiler aesara term-rewriting-system optimizing-compiler optimizing-compilers
Language:Python 1216
davidedc / Algebrite
Computer Algebra System in Javascript (Typescript)
algebra algebraic algebraic-computation cas coffeescript computer-algebra computer-algebra-system javascript javascript-cas math symbolic symbolic-computation symbolic-manipulation
Language:TypeScript 988
ThoughtWorksInc / DeepLearning.scala
A simple library for creating complex neural networks
automatic-differentiation deep-neural-networks deep-learning scala neural-network functional-programming symbolic-computation dsl domain-specific-language machine-learning
Language:Scala 768
SymbolicRegression.jl
MilesCranmer / SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
symbolic-regression julia symbolic-computation machine-learning automl sciml interpretable-ml data-science distributed-systems evolutionary-algorithms explainable-ai genetic-algorithm symbolic equation-discovery
Language:Julia 729
symbolica
benruijl / symbolica
A modern computer algebra library for Python and Rust.
arithmetic computer-algebra expansion expressions factorization greatest-common-divisor groebner-basis mathematics numerical-integration pattern-matching physics polynomial-arithmetic symbolic-computation symbolic-manipulation
Language:Rust 598
compute-engine
cortex-js / compute-engine
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
math json javascript typescript format cas math-json compute-engine latex symbolic-computation technical-computing
Language:TypeScript 426
lecopivo / SciLean
Scientific computing in Lean 4
lean4 numerical-methods scientific-computing symbolic-computation
Language:Lean 425
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.
compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting
Language:Julia 383
Macaulay2 / M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
algebraic-geometry commutative-algebra symbolic-computation mathematics groebner-basis homological-algebra projective-geometry resolutions modules rings polynomials polynomial-systems polynomial-arithmetic interpreted-programming-language
Language:Macaulay2 362
fricas / fricas
Official repository of the FriCAS computer algebra system
computer-algebra computer-algebra-system math mathematics symbolic-computation symbolic-manipulation risch-algorithm symbolic-integration
328
thomasahle / tensorgrad
Machine Learning with Symbolic Tensors
autograd derivatives neurosymbolic probability symbolic-computation tensor
Language:Python 265
chakravala / Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
reduce symbolic-computation term-rewriting repl parser-generator syntax-tree metaprogramming computer-algebra math algebra julia
Language:Julia 246
dharmatech / Symbolism
Computer Algebra and Symbolic Computation in C#
computer-algebra symbolic-computation c-sharp
Language:C# 221
pythological / kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
clp constraint-logic-programming logic-programming minikanren relational-programming symbolic-computation
Language:Python 203
SciML / MethodOfLines.jl
Automatic Finite Difference PDE solving with Julia SciML
pde finite-difference-method sciml scientific-ml partial-differential-equations julia high-performance-computing symbolic-computation parallel-computing
Language:Julia 173
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.
prover superposition ocaml experimental logic computer-science-algorithms prototype induction polymorphism rewriting cnf symbolic-computation saturation
Language:OCaml 141
yacas
grzegorzmazur / yacas
Computer calculations made easy
cas computer-algebra-system symbolic-computation
Language:JavaScript 133
algebraic-solving / msolve
Library for Polynomial System Solving through Algebraic Methods
algorithms computer-algebra groebner groebner-bases groebner-basis math mathematics polynomial-equations polynomial-roots science symbolic-computation
Language:C 122
Quantum-Many-Body / QuantumLattices.jl
Julia package for the construction of quantum lattice systems.
quantum-lattice-systems symbolic-computation condensed-matter-physics quantum-many-body second-quantized-operator hamiltonian
Language:Julia 122
SymbolicML / DynamicExpressions.jl
Ridiculously fast symbolic expressions
binary-trees expression-evaluator symbolic-computation symbolic-manipulation symbolic-regression
Language:Julia 117
inducer / pymbolic
A simple package to do symbolic math (focus on code gen and DSLs)
python expression-tree computer-algebra symbolic-computation code-generation term-rewriting
Language:Python 113
DeepMLNet / DeepNet
Deep.Net machine learning framework for F#
cuda deep-learning differentiation dotnet fsharp gpu gpu-acceleration gpu-computing machine-learning ndarray symbolic-computation symbolic-execution-engine tensor
Language:F# 101
hylang / hydiomatic
The Hy Transformer
hy logic-programming minikanren python static-code-analysis symbolic-computation
Language:Hy 82
tirthajyoti / Synthetic-data-gen
Various methods for generating synthetic data for data science and ML
classification data data-science machine-learning python regression symbolic-computation time-series
Language:Jupyter Notebook 80
mathiu.cpp
BowenFu / mathiu.cpp
mathiu : a simple computer algebra system in C++.
cpp computer-algebra-system cpp17-library symbolic-computation symbolic-math symbolic-expressions cpp17
Language:C++ 79
HarrisonGrodin / Rewrite.jl
An efficient symbolic term rewriting engine
julia julialang algebra symbolic symbolic-math symbolic-computation rewriting
Language:Julia 77
sumiya11 / Groebner.jl
Groebner bases in (almost) pure Julia
groebner-basis julia f4 grobner-basis symbolic-computation
Language:Julia 70
arabiaweather / athena
Automatic equation building and curve fitting. Runs on Tensorflow. Built for academia and research.
machine-learning tensorflow curve-fitting optimization equation-solver research-tool symbolic-computation academia symbolic-regression interpretability simulation-framework
Language:Jupyter Notebook 68
aeppl
aesara-devs / aeppl
Tools for an Aesara-based PPL.
ppl probability symbolic-computation statistics modeling-and-simulation bayesian-statistics term-rewriting
Language:Python 65
Symbolica / Symbolica
Symbolica's open-source symbolic execution engine.
symbolic symbolic-execution symbolic-computation verification testing testing-tool
Language:C# 65
the-akira / CC33Z
Curso de Ciência da Computação
algorithms-and-data-structures computer-networks computer-science computer-vision data-analysis data-visualization databases django html-css-javascript information-security linux machine-learning numerical-computation numpy philosophy programming python symbolic-computation sympy web-development
Language:Jupyter Notebook 63
pymc-devs / symbolic-pymc
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
bayesian minikanren probabilistic-programming pymc relational-programming symbolic-computation symbolic-math tensorflow theano
Language:Python 62
arguiot / Euler
The open-source computational framework for the Swift language
math mathematics swift symbolic-computation statistics bignumber xcode algebra cocoapods euler
Language:Swift 53