On first zero crossing points

摘要

Three algorithms, FZ1, FZ2 and FZ3 for bounding the first zero crossing point of a set of univariate functions on a bounded closed interval are described. Extended interval arithmetic is used in both FZ2 and FZ3. Automatic derivative arithmetic is used in FZ2 and automatic slope arithmetic is used in FZ3. Numerical results are presented.