fast C++ library for linear algebra & scientific computing
engineering programmable calculator
Parallel finite element analysis
A system for computer algebra and symbolic mathematics
Command Centre
NEVESIM is an event-driven neural simulation tool.
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.