Главная  Каталог авторов Каталог трудов Расширенный поиск Добавление статей Регистрация

Омега-тест: программа проверки системы линейных целочисленных равенств и неравенств на совместность (№2014612945)
Авторы
 Климов А.В.
Год публикации
 2014
Тип работы
 свидетельство на программу для ЭВМ
Ссылка на статью
 Климов А.В. Омега-тест: программа проверки системы линейных целочисленных равенств и неравенств на совместность (№2014612945). №2014612945, приоритет от 13.12.2013, зарегистрирован 13.03.2014
Сайт ИППМ    Сайт ИнфоМЭС    Обратная связь
Copyright © 2012-2024 ИППМ РАН. All Rights Reserved.
Обновлённая и существенно переработанная версия системы от 2016 года.
Разработка сайта - ИППМ РАН