14 projects
SymPy
SymPy is a Python library for symbolic mathematics that provides computer algebra system (CAS) capabilities. It enables users to perform symbolic calculations, algebraic manipulations, calculus operations, and mathematical computations with exact precision rather than numerical approximations.
Contributors
6,617
Organizations
1,102
Software value
$25M
SageMath
Main repository of SageMath
Contributors
3,778
Organizations
268
Software value
$100M
ModelingToolkit.jl
ModelingToolkit.jl is a symbolic modeling framework for scientific computing and automated model transformation in Julia. It enables users to define, manipulate, and solve complex mathematical models through symbolic computation, automatic differentiation, and code generation capabilities.
Contributors
659
Organizations
156
Software value
$2.1M
Symbolics.jl
Symbolic programming for the next generation of numerical software
Contributors
639
Organizations
167
Software value
$584K
PySR
PySR is a symbolic regression tool that uses genetic programming to discover mathematical expressions from data. It can find simple, interpretable equations from complex datasets by optimizing both accuracy and simplicity, making it useful for scientific discovery and machine learning applications.
Contributors
470
Organizations
66
Software value
$415K
OSCAR
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
Contributors
410
Organizations
39
Software value
$11M
SymEngine
SymEngine is a fast symbolic manipulation library, written in C++
Contributors
374
Organizations
125
Software value
$4.3M
GAP
GAP (Groups, Algorithms, Programming) is a system for computational discrete algebra, with particular emphasis on computational group theory. It provides a programming language, a library of functions that implement algebraic algorithms, and large data libraries of algebraic objects.
Contributors
337
Organizations
67
Software value
$14M
SymbolicUtils.jl
SymbolicUtils.jl is a Julia package for symbolic mathematics and computer algebra. It provides tools for manipulating symbolic expressions, pattern matching, rule-based rewriting, and simplification of mathematical formulas.
Contributors
283
Organizations
84
Software value
$500K
Singular
sources for the Singular computer algebra system
Contributors
270
Organizations
49
Software value
$15M
AbstractAlgebra
Generic abstract algebra functionality in pure Julia (no C dependencies)
Contributors
200
Organizations
35
Software value
$2.8M
SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
Contributors
128
Organizations
45
Software value
$670K
Diofant
A Python CAS library
This project hasn't been onboarded to LFX Insights.
FLINT.jl
Julia bindings for the FLINT number theory C library
This project hasn't been onboarded to LFX Insights.