sympy / sympy

A computer algebra system written in pure Python

haifengl / smile

Statistical Machine Intelligence & Learning Engine

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

JuliaSymbolics / Symbolics.jl

Symbolic programming for the next generation of numerical software

symengine / symengine

SymEngine is a fast symbolic manipulation library, written in C++

Mathics3 / mathics-core

An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.

gap-system / gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

symbolica-dev / symbolica

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

egison / egison

The Egison Programming Language

ASC-Community / AngouriMath

Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

flintlib / flint

FLINT (Fast Library for Number Theory)

oscar-system / Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

chakravala / Grassmann.jl

⟨Grassmann-Clifford-Hodge⟩ differential geometric algebra

morluto / jacobian

Composable mathematics tools for agents