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

Інформація × Реєстраційний номер 0107U003310, ( 0209U002494  ) Науково-дослідна робота Назва роботи Математичне доведення у співдії з комп'ютером. Керівник роботи Анісімов Анатолій Васильович, Доктор фізико-математичних наук Дата реєстрації 14-05-2007 Організація виконавець Київський національний університет імені Тараса Шевченка Опис роботи Створення та реалізація деякого логіко-лінгвістичного інструментарію для системи автоматизації дедукції САД, та її бази математичного знання, яку система буде використовувати в процесі своєї роботи, розробка лінгвістичних засобів, призначених для подання структурованих формальних математичних текстів, та розробка процедури автоматичного доведення теорем, що спирається на пошук та застосування релевантних фактів з бази знань. Додано в НРАТ 2024-12-10 Закрити