Computer algebra topic
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.
Bracmat
Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.
drudge
CAS based on sympy focusing on tensor and noncommutative algebras
quantum-sheet
QuantumSheet - A user friendly mathematics worksheet and solver
obake
A C++20 library for the symbolic manipulation of sparse polynomials & co.
J4darrays
A java package for nd-array calculations
kanren-old
Logic Programming in Python
symengine.rb
Ruby wrappers for SymEngine
sympad
Graphical symbolic math calculator / scratchpad using SymPy
rascas
Computer Algebra System for Racket
emmy
The Emmy Computer Algebra System.