A modern computer algebra system which aims to handle expressions with billions of terms.
-
Updated
Jun 1, 2024 - Rust
A modern computer algebra system which aims to handle expressions with billions of terms.
Official repository of the FriCAS computer algebra system
∫ Straightforward numerical integration of systems of ordinary differential equations
Symbolic expressions, rewriting and simplification
Ridiculously fast symbolic expressions
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.
Derivative calculator with a very irritating 'simplify' implementation
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.
С++ library for symbolic mathematical calculations
A field-theory motivated approach to computer algebra.
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Solve symbolically defined systems of non-linear equations numerically.
Lightweight server for testing equivalence of two symbolic expressions.
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
Math.NET Symbolics
Unified interface to symbolic manipulation libraries in Python
Add a description, image, and links to the symbolic-manipulation topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-manipulation topic, visit your repo's landing page and select "manage topics."