Simić, Danijela. 1986- Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема : докторска дисертација 216 листова 1158024 bytes У овој тези представљена је интерактивна формализација модела разних геометрија и алгебарских метода аутоматског доказивања геометријских те- орема... 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. srp https://phaidrabg.bg.ac.rs/o:17885 cobiss:50179599 thesis:5895 Marić, Filip, 1978- Janičić, Predrag, 1968- Vukmirović, Srđan, 1972- Maksimović, Petar. http://creativecommons.org/licenses/by-nc-sa/2.0/at/legalcode info:eu-repo/semantics/bachelorThesis 2017 OSNO - Opšta sistematizacija naučnih oblasti, Matematička kibernetika. Automati OSNO - Opšta sistematizacija naučnih oblasti, Matematička kibernetika. Automati асистент за доказивање теорема, геометрија, интерактивно доказивање у геометрији, аутоматско доказивање у геометрији, хиперболичка геометрија, стереометрија, аксиоматски систем Тарског, аксиоматски систем Хилберта, Декартов координатни систем proof assistants, geometry, interactive proving in geometry, automated proving in geometry, hyperbolic geometry, spatial geometry, Tarski axiom system, Hilbert axiom system, Cartesian coordinate system