ntccKMC: A Kripke-structure-based model checker for ntcc
invert matrices with the Gauss–Jordan elimination
Optimization toolbox for analyzing metabolic networks
C++ templates with generic nonlinear optimization algorithms
combinational logic functions minimization
Monte Carlo permutation method for SNP multiple test correlation
PyParticles is an opensource particles simulation tool box entirely wr
C++ wavelet library