Обработка изображений: Восстановление изображений, выявление признаков, распознавание образов. Рубрика в журнале - Компьютерная оптика

Эффективный алгоритм дискретного косинусного преобразования четной длины

Чичева М.А.

Статья

Бесплатно

Эффективный алгоритм определения истинности утверждений о действительных числах в сигнатуре отношений порядка

Коварцев Александр Николаевич

Статья научная

В статье предлагается новый эффективный алгоритм определения истинности утверждений о действительных числах в сигнатуре отношений порядка. В отличие от известного алгоритма А. Тарского, предложенный алгоритм сводит переборную задачу проверки истинности любого утверждения о вещественных числах к оптимизационной задаче. В новой версии алгоритма могут использоваться не только алгебраические, но и трансцендентные функции.

Бесплатно