Преглед Математички факултет по теми "automated generation of readable proofs"
Приказ резултата 1-2 од 2
-
Аутоматско решавање конструктивних проблема у геометрији / Automated solving of construction problems in geometry.
(Универзитет у Београду, Математички факултет, 04-06-2015) -
Формализација и аутоматско доказивање теорема еуклидске геометрије / Formalization and automation of Euclidean geometry
(Универзитет у Београду, Математички факултет, 07-09-2016)