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