fast C++ library for linear algebra & scientific computing
A system for computer algebra and symbolic mathematics
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Heterogeneous cluster for acceleration of linear algebra computations
Fast C library for relation algebra using binary decision diagrams.
Convex Optimization Algorithms Library