Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

алгоритм проверки

Документи:

Зобнин, А. И. Алгоритм проверки тривиальности "смешанных" идеалов в кольце дифференциальных многочленов [Текст] / А. И. Зобнин, М. А. Лимонов // Программирование. – 2015. – № 2. – С. 18-25.
Русаков, Д. Алгоритм проверки включения схем в алгебраической модели программ с константами [Текст] / Д. Русаков // Программирование. – 2007. – № 6. – 3-13.