Пошук академічних текстів

Інформація × Реєстраційний номер 0209U002494, 0107U003310 , Науково-дослідна робота Назва роботи "Математичне доведення у співдії з комп'ютером" Назва етапу роботи Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 13-02-2009 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Розробка лінгвістичних засобів, призначених для подання структурованих формальних математичних текстів, та розробка процедури автоматичного доведення теорем, що спирається на пошук та застосування релевантних фактів з бази знань. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити