ПОИСК Статьи Чертежи Таблицы Подробное доказательство см.; К. И. Бабенко, В. Ю. Петрович, О доказательных вычислениях на ЭВМ. Препринт ИПМ им. М. В. Келдыша. М., 1983, 183 с. [Выходные данные]