Adaptive constructive interval disjunction: algorithms and experiments
scientific article; zbMATH DE number 6530800