Гаранина, Н. О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина. - Новосибирск : [б. в.], 2004. - 48 с. : ил. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; 116). - Библиогр.: с. 48. - Б. ц. р.
Стрыгин, Владимир Захарович. Разрешимость нерекурсивных множеств натуральных чисел и проблемы n-мерного шара для n=6,7 / В.З Стрыгин. - М. : ЦАГИ, 2007. - 4 с. - (Препринт / Центр. аэрогидродинам. ин-т им. Н. Е. Жуковского ; № 151). - Библиогр.: с. 2. - Б. ц. р.
Шлык, В. А. Задачи распознавания некоторых классов разбиений чисел и числовых мультимножеств / В. А. Шлык. - Дубна : ОИЯИ, 2010. - 9, [1] с. ; 22 см. - (Препринт / Объед. ин-т ядер. исслед. ; Р5-2010-44). - Библиогр.: с. 9-10. - 15.00 р.
Попов, Н. А. О недопустимых методах математических доказательств / Н. А. Попов, А. Н. Попов. - Саров : РФЯЦ-ВНИИЭФ, 2011. - 21 с. - (Препринт / Рос. федер. ядер. центр ВНИИЭФ ; № 107). - Библиогр.: с. 21. - 15.00 р.