GitHub topics: computer-algebra
benruijl/symbolica
A modern computer algebra library for Python and Rust.
Language: Rust - Size: 3.05 MB - Last synced at: about 3 hours ago - Pushed at: about 3 hours ago - Stars: 612 - Forks: 26
sergiorf/aleph3
A modern C++20-based computer algebra system for symbolic computation and mathematical expression evaluation.
Language: C++ - Size: 4.3 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 0
QuantumSavory/QuantumSymbolics.jl
Computer algebra tools for symbolic manipulations in quantum mechanics and quantum information
Language: Julia - Size: 1.43 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 37 - Forks: 15
oscar-system/Oscar.jl
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Language: Julia - Size: 773 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 420 - Forks: 140
diofant/diofant
A Python CAS library
Language: Python - Size: 86.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 73 - Forks: 18
numbas/Numbas
A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics
Language: JavaScript - Size: 39.1 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 210 - Forks: 123
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
Language: Julia - Size: 543 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,519 - Forks: 220
oldk1331/fricas Fork of fricas/fricas
Fork of https://github.com/fricas/fricas
Size: 24.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 2
gap-system/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
Language: GAP - Size: 419 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 865 - Forks: 171
DrudgeCAS/drudge
CAS based on sympy focusing on tensor and noncommutative algebras
Language: Python - Size: 4.34 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 21 - Forks: 10
egri-nagy/kigen
Computational Semigroup Theory Software System written in Clojure
Language: Clojure - Size: 783 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 10 - Forks: 0
egri-nagy/orbit
Generic orbit and graph search algorithms in Clojure.
Language: Clojure - Size: 63.5 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
Nemocas/Nemo.jl
Julia bindings for the FLINT number theory C library
Language: Julia - Size: 59.5 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 203 - Forks: 64
sympy/sympy
A computer algebra system written in pure Python
Language: Python - Size: 182 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 13,671 - Forks: 4,688
Nemocas/AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
Language: Julia - Size: 148 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 181 - Forks: 67
dharmatech/Symbolism
Computer Algebra and Symbolic Computation in C#
Language: C# - Size: 699 KB - Last synced at: about 10 hours ago - Pushed at: over 5 years ago - Stars: 222 - Forks: 31
fricas/fricas
Official repository of the FriCAS computer algebra system
Size: 23.7 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 337 - Forks: 47
libsemigroups/libsemigroups
C++ library for semigroups and monoids
Language: C++ - Size: 39.9 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 47 - Forks: 30
axkr/symja_android_library
:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
Language: Java - Size: 327 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 411 - Forks: 92
chakravala/Grassmann.jl
⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra
Language: Julia - Size: 2.71 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 486 - Forks: 39
inducer/pymbolic
A simple package to do symbolic math (focus on code gen and DSLs)
Language: Python - Size: 1.24 MB - Last synced at: 5 days ago - Pushed at: 11 days ago - Stars: 114 - Forks: 25
daniyal1249/ablina
A Python package for abstract linear algebra
Language: Python - Size: 876 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 1
mentat-collective/emmy
The Emmy Computer Algebra System.
Language: Clojure - Size: 10.7 MB - Last synced at: 9 days ago - Pushed at: 7 months ago - Stars: 429 - Forks: 25
flintlib/flint
FLINT (Fast Library for Number Theory)
Language: C - Size: 76 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 496 - Forks: 261
sagemath/sage-archive-2023-02-01 📦
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.
Language: Python - Size: 310 MB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 2,009 - Forks: 408
bluescarni/mppp
Multiprecision for modern C++
Language: C++ - Size: 46.2 MB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 315 - Forks: 28
kpeeters/cadabra2
A field-theory motivated approach to computer algebra.
Language: C++ - Size: 158 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 244 - Forks: 41
davidedc/Algebrite
Computer Algebra System in Javascript (Typescript)
Language: TypeScript - Size: 3.55 MB - Last synced at: 9 days ago - Pushed at: almost 2 years ago - Stars: 979 - Forks: 60
thofma/Hecke.jl
Computational algebraic number theory
Language: Julia - Size: 99.8 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 262 - Forks: 70
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.
Language: TypeScript - Size: 28.3 MB - Last synced at: 9 days ago - Pushed at: about 1 year ago - Stars: 2,375 - Forks: 140
breandan/kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Language: Kotlin - Size: 288 MB - Last synced at: 16 days ago - Pushed at: 6 months ago - Stars: 537 - Forks: 22
len/Arrows
A computer algebra system in Smalltalk
Language: Smalltalk - Size: 26.9 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 11 - Forks: 2
skyf0l/ecm-rs
Lenstra's Elliptic Curve Factorization Implementation in Rust
Language: Rust - Size: 67.4 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 2 - Forks: 0
sdiehl/sympy-mcp
A MCP server for symbolic manipulation of mathematical expressions
Language: Python - Size: 1.81 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0
symengine/symengine
SymEngine is a fast symbolic manipulation library, written in C++
Language: C++ - Size: 456 MB - Last synced at: 17 days ago - Pushed at: 2 months ago - Stars: 1,235 - Forks: 294
algebraic-solving/msolve
Library for Polynomial System Solving through Algebraic Methods
Language: C - Size: 3.1 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 130 - Forks: 26
MatProGo-dev/SymbolicMath.go
A symbolic math module for the Go (Golang) Programming Language.
Language: Go - Size: 523 KB - Last synced at: 9 days ago - Pushed at: 25 days ago - Stars: 7 - Forks: 0
mathnet/mathnet-symbolics
Math.NET Symbolics
Language: F# - Size: 80.3 MB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 357 - Forks: 69
TWiedemann/H-graded-groups
GAP code which accompanies the paper "Root graded groups of type H_3 and H_4" by Lennart Berg and Torben Wiedemann.
Language: TeX - Size: 255 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0
asc-community/AngouriMath
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Language: C# - Size: 22.4 MB - Last synced at: 3 days ago - Pushed at: 12 months ago - Stars: 796 - Forks: 78
mathics/Mathics
This repository is for archival. Please see https://github.com/Mathics3/mathics-core
Language: Python - Size: 20.4 MB - Last synced at: 17 days ago - Pushed at: almost 3 years ago - Stars: 2,068 - Forks: 205
User0332/MathEngine
A set of .NET class libraries that allow symbolic computation in C#, similar to Wolfram Mathematica.
Language: C# - Size: 146 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
chakravala/Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
Language: Julia - Size: 1.84 MB - Last synced at: 6 days ago - Pushed at: 8 months ago - Stars: 246 - Forks: 16
Repin-Daniil/symbolic-math
С++ library for symbolic mathematical calculations
Language: C++ - Size: 1.41 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
Thierry-Dumont/RKkit
Playing with Runge-Kutta methods and SageMath
Language: Jupyter Notebook - Size: 2.52 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
symengine/symengine.py
Python wrappers for SymEngine
Language: Cython - Size: 4.26 MB - Last synced at: 15 days ago - Pushed at: about 2 months ago - Stars: 177 - Forks: 67
SymDynamics/dymsum
A tool to declare and solve symbolic equations of dynamical systems and control theory
Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
gnu-octave/symbolic
A Symbolic Package for Octave using SymPy
Language: MATLAB - Size: 4.73 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 164 - Forks: 37
isaacphysics/equality-checker
Lightweight server for testing equivalence of two symbolic expressions.
Language: Python - Size: 273 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 2
abacus42/CoCoA-Vim
Vim Plugin for the Computer Algebra System CoCoA
Language: Vim Script - Size: 43.9 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
spacetimeengineer/spacetimeengine
A Python utility for analyzing a given solution to the Einstein's field equations. Built on Sympy.
Language: Python - Size: 428 KB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 151 - Forks: 17
BartJongejan/Bracmat
Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.
Language: C - Size: 23.9 MB - Last synced at: 28 days ago - Pushed at: 2 months ago - Stars: 47 - Forks: 5
gap-packages/crime
GAP package that computes the cohomology rings of finite p-groups, induced maps, and Massey products
Language: GAP - Size: 2.52 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
skyf0l/gmp-ecm-rs
Rust low-level and high-level bindings for GMP-ECM.
Language: C - Size: 1.36 MB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 1 - Forks: 0
MixedMatched/juniper
A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
Language: Rust - Size: 110 KB - Last synced at: 30 days ago - Pushed at: 5 months ago - Stars: 15 - Forks: 1
chakravala/FieldAlgebra.jl
Field-algebra based on Group / Ring symbolic vector module extension
Language: Julia - Size: 40 KB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 0
symengine/SymEngine.jl
Julia wrappers of SymEngine
Language: Julia - Size: 975 KB - Last synced at: 14 days ago - Pushed at: 2 months ago - Stars: 195 - Forks: 42
nilqed/cl-weyl
Weyl Computer Algebra Substrate (dev)
Language: Common Lisp - Size: 14.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
computeVision/pcl_stereoimages
Point Cloud Reproduction from Stereoimages.
Language: Python - Size: 2.63 MB - Last synced at: 17 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
mentat-collective/road-to-reality
The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations.
Language: Clojure - Size: 18.2 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 94 - Forks: 11
nilqed/weyl Fork of OdonataResearchLLC/weyl
This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses Closer-MOP. It currently is known to work with SBCL, CCL, ECL, LispWorks (and probably many others).
Language: Common Lisp - Size: 1.47 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
bluescarni/obake
A C++20 library for the symbolic manipulation of sparse polynomials & co.
Language: C++ - Size: 10.2 MB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 28 - Forks: 9
arithmetica-org/arithmetica
General purpose math library with primarily arithmetic functions.
Language: C - Size: 8.71 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1
tueda/donuts-python
Python binding to Donuts: 🍩 × 🐍
Language: Python - Size: 172 KB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
p-e-w/sequencer
Purely algorithmic number sequence identification
Language: Scala - Size: 195 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 29 - Forks: 4
chakravala/Grassmann.wl
⟨Leibniz-Grassmann-Clifford⟩ multilinear differential geometric algebra
Language: Mathematica - Size: 111 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 3
bluescarni/piranha
The Piranha computer algebra system.
Language: C++ - Size: 119 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 102 - Forks: 25
benruijl/reform
A symbolic manipulation toolkit which aims to handle expressions with billions of terms
Language: Rust - Size: 691 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 24 - Forks: 3
grihabor/symrs
Rust library for symbolic mathematics
Language: Rust - Size: 58.6 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1
dedoussis/algebrain-legacy
Computer Algebra System focusing on symbolic transformations
Language: Java - Size: 2.29 MB - Last synced at: 26 days ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 1
corywalker/expreduce
An experimental computer algebra system written in Go
Language: Mathematica - Size: 27 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 389 - Forks: 27
axkr/symja_web
http://matheclipse.org - website for Symja project: https://github.com/axkr/symja_android_library
Language: JavaScript - Size: 3.17 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
axkr/symja-example
An example application to make Symja work on Android.
Language: Java - Size: 5.09 MB - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 9 - Forks: 3
symengine/symengine.rb
Ruby wrappers for SymEngine
Language: C - Size: 274 KB - Last synced at: 19 days ago - Pushed at: about 6 years ago - Stars: 28 - Forks: 15
tom-pytel/sympad
Graphical symbolic math calculator / scratchpad using SymPy
Language: Python - Size: 7.76 MB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 20 - Forks: 1
chakravala/Ganja.jl
Interface for the ganja.js library in Julia
Language: JavaScript - Size: 24.4 KB - Last synced at: 26 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 2
DaveBarton/calculi
Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
Language: Haskell - Size: 529 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 15 - Forks: 0
gblanco92/gamba
A fast program for computing Groebner bases
Language: C++ - Size: 75.4 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
xAct-contrib/xTerior
Exterior Calculus for xAct
Language: Mathematica - Size: 2.13 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 7 - Forks: 6
mzinin/bjb
Utility for computing boolean Groebner bases with involutive Janet algorithm
Language: C++ - Size: 143 KB - Last synced at: 10 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
jmbr/cl-buchberger 📦
Buchberger's algorithm in Common Lisp. Moved to https://git.sr.ht/~jmbr/cl-buchberger
Language: Common Lisp - Size: 24.4 KB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 1
mzinin/bpb
Utility for computing boolean Groebner bases with involutive Pommaret algorithm
Language: C++ - Size: 308 KB - Last synced at: 10 months ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 2
mzinin/buchberger
Utility for computing boolean Groebner bases with Buchberger's algorithm
Language: C++ - Size: 86.9 KB - Last synced at: 10 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 3
mzinin/groebner_benchmarks
Series of benchmarks for computing boolean Groebner bases
Language: Python - Size: 3.64 MB - Last synced at: 10 months ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 1
marohnicluka/giac
contributions to Giac computer algebra system
Language: C++ - Size: 135 MB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 2
hexawyz/SolidSharp
Tentative symbolic computation framework geared towards 2D/3D geometry & CAD - WIP
Language: C# - Size: 216 KB - Last synced at: 10 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 2
ogeagla/closyr
A symbolic regression tool written in Clojure
Language: Clojure - Size: 8.72 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
xAct-contrib/examples
Example xAct notebooks with common usage patterns
Language: Mathematica - Size: 1.47 MB - Last synced at: 10 months ago - Pushed at: almost 4 years ago - Stars: 78 - Forks: 42
pynac/pynac 📦
Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
Language: C++ - Size: 7.04 MB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 26 - Forks: 26
stefnotch/quantum-sheet
QuantumSheet - A user friendly mathematics worksheet and solver
Language: TypeScript - Size: 23.4 MB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 55 - Forks: 5
Metaxal/rascas
Computer Algebra System for Racket
Language: Racket - Size: 166 KB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 19 - Forks: 1
SuperSonicHub1/ode-viz
Practicing being a mathematician.
Language: Jupyter Notebook - Size: 442 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
mwageringel/fgb_sage
A Sage interface for FGb (Gröbner basis computations)
Language: Python - Size: 38.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 0
mpiedrav32/rittsch
A computer analysis system (cf. computer algebra)
Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
axkr/symja_examples
Example repository for the Symja Eclipse plugin:
Size: 88.9 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0
MartinLBarranco/Arithmos
Programa de cálculo simbólico. Orientado al cálculo pesado en estructuras algebráicas, cálculo, lógica, teoría de grafos, teoría de juegos y ciencias de la computación/lenguajes.
Language: Python - Size: 211 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
tueda/python-form
A Python package for communicating with FORM.
Language: Python - Size: 157 KB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0
blankBuffer/BitLogic
simple java computer algebra system
Language: Java - Size: 37.3 MB - Last synced at: 10 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 2
flideros/fSharp-Symbolic-Math-Lab
Personal coding lab for studying computer mathematics in f#
Language: F# - Size: 2.86 MB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 0
1dotd4/alchemy
An extensible computer algebra library written in Scheme (this is a mirror).
Language: Scheme - Size: 175 KB - Last synced at: 10 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
