ntccKMC: A Kripke-structure-based model checker for ntcc
invert matrices with the Gauss–Jordan elimination
Optimization toolbox for analyzing metabolic networks
Lapack/quadprog QP for VBA/.Net/Java
Calculator of weighted averages.
combinational logic functions minimization
PyParticles is an opensource particles simulation tool box entirely wr
C++ wavelet library
A small, basic, yet powerful and competent primality tester.
A primality/compositeness tester for different types of numbers.
CAS routines for theoretical analysis of nonlinear time-delay systems
Multiply matrices!