fast C++ library for linear algebra & scientific computing
engineering programmable calculator
A collection of machine-checkend mathematical proofs
A system for computer algebra and symbolic mathematics
A mathematical skill testing game specially for the kids.
An implementation of Dantzig-Wolfe decomposition built upon GLPK
combinational logic functions minimization
Heterogeneous cluster for acceleration of linear algebra computations