Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: A Strong and Easily Computable Separation Bound for Arithmetic Expressions Involving Radicals
Авторы: Burnikel C., Fleischer R., Mehlhorn K.
Аннотация:
We consider arithmetic expressions over operators +, -, *, /, and ^(1/k), with integer operands. For an expression E having value j, a separation bound sep(E) is a positive real number with the property that j<>0 implies |j|>=sep(E). We propose a new separation bound that is easy to compute and stronger than previous bounds.