Show simple item record

Formalization of various geometry models and applications in verification of automated theorem provers

dc.contributor.advisorMarić, Filip
dc.contributor.otherJaničić, Predrag
dc.contributor.otherVukmirović, Srđan
dc.contributor.otherMaksimović, Petar
dc.creatorSimić, Danijela
dc.date.accessioned2018-07-13T15:51:55Z
dc.date.available2018-07-13T15:51:55Z
dc.date.issued2017-08-08
dc.identifier.urihttp://eteze.bg.ac.rs/application/showtheses?thesesId=5895
dc.identifier.urihttps://fedorabg.bg.ac.rs/fedora/get/o:17885/bdef:Content/download
dc.identifier.urihttp://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=50179599
dc.identifier.urihttp://nardus.mpn.gov.rs/123456789/9628
dc.description.abstractУ овој тези представљена је интерактивна формализација модела разних геометрија и алгебарских метода аутоматског доказивања геометријских те- орема...sr
dc.description.abstractIn this thesis is presented interactive formalization of various models of geometry and algebraic methods for automated proving geometry theorems....en
dc.formatapplication/pdf
dc.languagesr
dc.publisherУниверзитет у Београду, Математички факултетsr
dc.rightsAutorstvo-Nekomercijalno-Deliti pod istim uslovima 3.0 Srbija (CC BY-NC-SA 3.0)
dc.sourceУниверзитет у Београдуsr
dc.subjectасистент за доказивање теорема, геометрија, интерактивно доказивање у геометрији, аутоматско доказивање у геометрији, хиперболичка геометрија, стереометрија, аксиоматски систем Тарског, аксиоматски систем Хилберта, Декартов координатни системsr
dc.subjectproof assistants, geometry, interactive proving in geometry, automated proving in geometry, hyperbolic geometry, spatial geometry, Tarski axiom system, Hilbert axiom system, Cartesian coordinate systemen
dc.titleФормализација различитих модела геометрије и примене у верификацији аутоматских доказивача теоремаsr
dc.title.alternativeFormalization of various geometry models and applications in verification of automated theorem proversen
dc.typePhD thesis
dcterms.abstractМарић, Филип; Максимовић, Петар; Јаничић, Предраг; Вукмировић, Срђан; Симић, Данијела; Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema;


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record