o:17885 Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема докторска дисертација Formalization of various geometry models and applications in verification of automated theorem provers : doctoral dissertation sr У овој тези представљена је интерактивна формализација модела разних геометрија и алгебарских метода аутоматског доказивања геометријских те- орема... In this thesis is presented interactive formalization of various models of geometry and algebraic methods for automated proving geometry theorems.... рачунарство - аутоматско резоновање / computer science - automated reasoning Datum odbrane: 08.08.2017. асистент за доказивање теорема, геометрија, интерактивно доказивање у геометрији, аутоматско доказивање у геометрији, хиперболичка геометрија, стереометрија, аксиоматски систем Тарског, аксиоматски систем Хилберта, Декартов координатни систем proof assistants, geometry, interactive proving in geometry, automated proving in geometry, hyperbolic geometry, spatial geometry, Tarski axiom system, Hilbert axiom system, Cartesian coordinate system yes 50179599 91552101 5895 91552100 50179599 2018-07-12T14:06:00.053Z 45 no 46 mentor Danijela. 1986- Simić 2017 63 mentor Filip, 1978- Marić 2017 63 član komisije Predrag, 1968- Janičić 2017 63 član komisije Srđan, 1972- Vukmirović 2017 63 član komisije Petar. Maksimović 2017 216 листова 1158024 http://phaidrabg.bg.ac.rs/o:17885 no yes 5 2018-07-12T14:06:00.320Z 70 11 1066609 1066643 асистент за доказивање теорема, геометрија, интерактивно доказивање у геометрији, аутоматско доказивање у геометрији, хиперболичка геометрија, стереометрија, аксиоматски систем Тарског, аксиоматски систем Хилберта, Декартов координатни систем proof assistants, geometry, interactive proving in geometry, automated proving in geometry, hyperbolic geometry, spatial geometry, Tarski axiom system, Hilbert axiom system, Cartesian coordinate system 1738 11A31 2017