The art of computer programming : Seminumerical algorithms