A Numerical System controlled by algorithms.
Interval Calculator for Engineer
Calculator that takes care of measurement units.
proof verifier for mathematical proofs and documentation generator
Improved base-calling for homopolymer-sensitive next-gen data.