|
Книга ID: 2057950
Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры = Applying the symbolic method for loop invariant elimination to linear algebra program verification В. А. Непомнящий, Е. А. Мацко ; Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А. П. Ершова
Тематика, ключевые слова:
Физико-математические науки -- Математика -- Алгебра -- Высшая алгебра -- Линейная алгебра -- Применение ЭВМ.
Физико-математические науки -- Математика -- Вычислительная математика -- Приближенные вычисления -- Численные методы -- Приближенное решение алгебраических и трансцендентных уравнений -- Применение ЭВМ.
Сведения об издании:
Новосибирск ИСИ им. А. П. Ершова 2003 НФ ООО ИПО Эмари РИЦ
37 с. 21 см
Язык:
rus
|
|
