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, Matlab/Octave, Julia or Javascript
SymEngine is a fast symbolic manipulation library, written in C++
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
- csharp
- algebra
- integration
- latex
Math.NET Symbolics
C# math expression library with symbolic computation support
- csharp
- dotnet
- expression-parser
- math
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming