Використання рекомендаційної системи для розв’язку математичних задач
Loading...
Date
2024
Authors
Загорулько, Андрій
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Дана робота напрямлена на спробу побудувати рекомендаційну систему для розв’язку геометричних задач на основі нових технологій. Актуалність даної теми зумовлена можливістю автоматизувати роз'язок геометричних задач або спростити процес доведення теорем.
Description
Keywords
редактор онологій Protégé, Lean, OWL, планіметричні задачі, бакалаврська робота