Системы Theorema и автоматизация дедукции: сравнительный анализ [Текст] / А. В. Анисимов, Т. Джебелян, А. В. Лялецкий, Н. Попов // Управляющие системы и машины. - 2011. - № 4 . - С. 59-63, 77. - Библиогр.: с. 63 . - ISSN 0130-5395
Кл.слова (ненормовані): математичні знання -- система Theorema -- порівняльний аналіз Дод.точки доступу: Анисимов, А. В.; Джебелян, Т.; Лялецкий, А. В.; Попов, Н. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |
Мішура, Ю. С. Про невласні інтеграли і асимптотичну поведінку розв`язків диференціальних рівнянь [Текст] / Ю. С. Мішура, Г. М. Шевченко // У світі математики. - 2013. - № 4. - С. 18-24 : рис. - Бібліогр.: с. 24 . - ISSN 1029-4171 Рубрики: Вища математика Кл.слова (ненормовані): диференціальні рівняння -- диференціальне рівняння другого порядку -- невідома функція -- невласні інтеграли першого роду Дод.точки доступу: Шевченко, Г. М. Є примірники у відділах: всього 1 : ВДЕТПСГН (1) |