ntccKMC: A Kripke-structure-based model checker for ntcc
invert matrices with the Gauss–Jordan elimination
C++ templates with generic nonlinear optimization algorithms
Monte Carlo permutation method for SNP multiple test correlation
C++ wavelet library
A small, basic, yet powerful and competent primality tester.
A primality/compositeness tester for different types of numbers.
Sphere surface layers of visual cortex approach maximum info density
CAS routines for theoretical analysis of nonlinear time-delay systems
A basic prime number sieve/tester.