Nonlinear Krylov acceleration of fixed-point and Newton-like methods
Library for optimization using a genetic algorithm or particle swarms
ntccKMC: A Kripke-structure-based model checker for ntcc
Lapack/quadprog QP for VBA/.Net/Java
Software tools for applications of simulations by iterations.
Heterogeneous cluster for acceleration of linear algebra computations
Fast C library for relation algebra using binary decision diagrams.
An object oriented C++ library for computer algebra
A fair attempt at the Keplerian tradition to explore the solar system
The Advanced Algebraic Language.
A finite element solver using state-of-the-art programming techniques.
SNOMP (SNOMP is Not OpenMP) is a library for semi-shared memory parall
Zero Sum Game Solver Java Library