Title
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема
Creator
Simić, Danijela. 1986-
Copyright date
2017
Object Links
Select license
Autorstvo-Nekomercijalno-Deliti pod istim uslovima 3.0 Srbija (CC BY-NC-SA 3.0)
License description
Dozvoljavate umnožavanje, distribuciju i javno saopštavanje dela, i prerade, ako se navede ime autora na način odredjen od strane autora ili davaoca licence i ako se prerada distribuira pod istom ili sličnom licencom. Ova licenca ne dozvoljava komercijalnu upotrebu dela i prerada. Osnovni opis Licence: http://creativecommons.org/licenses/by-nc-sa/3.0/rs/deed.sr_LATN Sadržaj ugovora u celini: http://creativecommons.org/licenses/by-nc-sa/3.0/rs/legalcode.sr-Latn
Language
Serbian
Cobiss-ID
Theses Type
Doktorska disertacija
description
Datum odbrane: 08.08.2017.
Other responsibilities
mentor
Marić, Filip, 1978-
član komisije
Janičić, Predrag, 1968-
član komisije
Vukmirović, Srđan, 1972-
član komisije
Maksimović, Petar.
Academic Expertise
Prirodno-matematičke nauke
Academic Title
-
University
Univerzitet u Beogradu
Faculty
Matematički fakultet
Alternative title
Formalization of various geometry models and applications in verification of automated theorem provers
Publisher
[ Д. Симић]
Format
216 листова
description
рачунарство - аутоматско резоновање / computer science - automated reasoning
Abstract (sr)
У овој тези представљена је интерактивна формализација модела разних
геометрија и алгебарских метода аутоматског доказивања геометријских те-
орема...
Abstract (en)
In this thesis is presented interactive formalization of various models of geometry
and algebraic methods for automated proving geometry theorems....
Authors Key words
асистент за доказивање теорема, геометрија, интерактивно
доказивање у геометрији, аутоматско доказивање у геометрији, хиперболичка
геометрија, стереометрија, аксиоматски систем Тарског, аксиоматски систем
Хилберта, Декартов координатни систем
Authors Key words
proof assistants, geometry, interactive proving in geometry, automated
proving in geometry, hyperbolic geometry, spatial geometry, Tarski axiom
system, Hilbert axiom system, Cartesian coordinate system
Type
Tekst
Abstract (sr)
У овој тези представљена је интерактивна формализација модела разних
геометрија и алгебарских метода аутоматског доказивања геометријских те-
орема...
“Data exchange” service offers individual users metadata transfer in several different formats. Citation formats are offered for transfers in texts as for the transfer into internet pages. Citation formats include permanent links that guarantee access to cited sources. For use are commonly structured metadata schemes : Dublin Core xml and ETUB-MS xml, local adaptation of international ETD-MS scheme intended for use in academic documents.