o:15164 Формализација и аутоматско доказивање теорема еуклидске геометрије Formalization and automation of Euclidean geometry : doctoral dissertation sr Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом... The advance of geometry over the centuries can be observed through the development of dierent axiomatic systems that describe it. The use of axiomatic systems begins with Euclid, continues with Hilbert and Tarski, but it doesn't end there. Even today, new axiomatic systems for Euclidean geometry are developed... Рачунарство - Вештачка интелигенција / Computer Science - Artificial intelligence Datum odbrane: 07.09.2016. кохерентна логика, формализација геометрије, аутоматско доказивање теорема, интерактивно доказивање теорема, аутоматско генерисање читљивих доказа coherent logic, formalization of geometry, automated theorem proving,interactive theorem proving, automated generation of readable proofs [004.832.3:510.66]:[514.112/.113](043.3) yes 48817679 91552101 4836 91552100 48817679 2017-04-19T11:25:58.053Z 45 no 46 mentor Sana. 1981- Stojanović 2016 63 mentor Predrag. 1968- Janičić 2016 63 član komisije Зоран, 1952- Лучић 2016 63 član komisije Филип, 1978- Марић 2016 63 član komisije Мирјана, 1965- Борисављевић 2016 63 član komisije Žilijen Narbu 2016 150 листова 1885679 http://phaidrabg.bg.ac.rs/o:15164 no yes 2 2017-04-19T11:25:58.320Z 70 11 1066609 1066626 11 1066648 1066654 1066667 Рачунарство - Вештачка интелигенција / Computer Science - Artificial intelligence кохерентна логика, формализација геометрије, аутоматско доказивање теорема, интерактивно доказивање теорема, аутоматско генерисање читљивих доказа coherent logic, formalization of geometry, automated theorem proving,interactive theorem proving, automated generation of readable proofs [004.832.3:510.66]:[514.112/.113](043.3) 1738 11A31 2016