SymEngine is a fast symbolic manipulation library, written in C++
-
Updated
Aug 26, 2025 - C++
Computer (symbolic) algebra systems and libraries are used for manipulations with symbolic mathematical expressions.
Usually, those libraries are capable of some calculus operations (differentiation, integration, finding the limit, etc.) and numeric manipulations.
The idea is to avoid floating number operations by computing the exact result instead.
SymEngine is a fast symbolic manipulation library, written in C++
Multiprecision for modern C++
A field-theory motivated approach to computer algebra.
The Piranha computer algebra system.
C++ library for semigroups and monoids
A C++20 library for the symbolic manipulation of sparse polynomials & co.
Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
A C++ computer algebra (symbolic computation) library.
contributions to Giac computer algebra system
Utility for computing boolean Groebner bases with involutive Pommaret algorithm
A fast program for computing Groebner bases
A program to prove geometry problems.
Utility for computing boolean Groebner bases with involutive Janet algorithm
Utility for computing boolean Groebner bases with Buchberger's algorithm
aleph3 is a modern, extensible computer algebra system written in C++20. It provides fast symbolic computation and mathematical expression evaluation, with a focus on clarity, performance, and a familiar, Mathematica-inspired syntax.
С++ library for symbolic mathematical calculations
Computer Algebra System
Course work in discipline "Computer Algebra"(2 course, 2016 year)