Square Matrix Method in Wolfram Mathematica

A modern computer algebra library for Python and Rust.

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

Symbolic expressions, rewriting and simplification

Official repository of the FriCAS computer algebra system

Ridiculously fast symbolic expressions

Mathematical Symbol Engine

A field-theory motivated approach to computer algebra.

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Expression transformation package

Lightweight server for testing equivalence of two symbolic expressions.

∫ Straightforward numerical integration of systems of ordinary differential equations

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

С++ library for symbolic mathematical calculations

Derivative calculator with a very irritating 'simplify' implementation

Solve symbolically defined systems of non-linear equations numerically.

Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl

Convenient Haskell syntax for writing in LaTeX math expressions

A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.

Heuristics for interpreting Haskell float literals with the correct precision