Certification of algorithm 196: Muller's method for finding roots of an arbitrary function | Communications of the ACM | DeepDyve