Skip navigation.
Home

Статьи в научных сборниках — 2011

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

 

Министерство науки и высшего образования Российской Федерации Российская академия наук (РАН) Сибирское отделение Российской академии наук (СО РАН) Отделение нанотехнологий и информационных технологий РАН (ОНИТ РАН) Иркутский филиал СО РАН (ИрФ СО РАН) Иркутский государственный университет (ИГУ) Иркутский национальный исследовательский технический университет (ИрНИТУ) Российский научный фонд Российский фонд фундаментальных исследований Институт систем энергетики им. Л.А. Мелентьева (ИСЭМ СО РАН)
Наука в Сибири Наука Приангарья Агентство научный новостей