Резултати

еНаука >  Резултати >  Automated generation of illustrated proofs in geometry and beyond
Назив: Automated generation of illustrated proofs in geometry and beyond
Аутори: Janicic, Predrag  ; Narboux, Julien
Година: 2023
Публикација: Annals of Mathematics and Artificial Intelligence
ISSN: 1012-2443 Annals of Mathematics and Artificial Intelligence Претражи идентификатор
Издавач: Springer
Тип резултата: Научни чланак
DOI: 10.1007/s10472-023-09857-y
WoS-ID: 001022810900002
Scopus-ID: 2-s2.0-85163724940
URI: https://enauka.gov.rs/handle/123456789/798300
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
22M22 - Рад у истакнутом међ. часопису

Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.