Статьи в научных сборниках — 2011
- Булгатова Е.Н., Сорокин С.П., Яковенко Г.Н. Простейшие симметрии дифференциальных объектов — вычисление инвариантов // Моделирование и обработка информации: Сб. ст. / Моск. физ.-техн. ин-т. 2011. С. 14-25.
- Заикин О.С. Разработка и реализация параллельных алгоритмов решения больших систем булевых уравнений // Сб. ст. молодых ученых Иркутского научного центра Сибирского отделения РАН. Иркутск, 2011. С. 9-10.
- Ларионов А.А., Черкашин Е.А., Терехин И.Н., Давыдов А.В. Программная система КВАНТ/4 для автоматического доказательства теорем // Труды ИМЭИ ИГУ. Математика и информатика: Сб. науч. тр. / Под ред. Ю.Д. Королькова [и др.]. Иркутск: Изд-во ИГУ, 2011. Вып. 1. С. 77-85.
|
Russian
English