Пропустить навигацию.
Главная

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

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

 

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