LFX Platform

Know more about LFX Platform

LFX Insights

Symbolic Computation Libraries

Libraries for symbolic programming and computer algebra that enable advanced mathematical analysis and the generation of numerical software.

14 projects

14,165 contributors

$176M

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.
Looking for a project that’s not listed?