Introduction.- Interval calculus.- Bounding derivatives by algorithmic differentiation.- Branch-and-bound-type methods.- Solving equations and inequalities systems using interval B&BT methods.- Solving quantified problems using interval methods.- Parallelization of B&BT algorithms.
"synopsis" may belong to another edition of this title.