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.available2020-07-03T08:38:25Z
dc.date.issued2017-08-08
dc.identifier.urihttp://nardus.mpn.gov.rs/handle/123456789/9628
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.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.rightsopenAccessen
dc.sourceУниверзитет у Београдуsr
dc.subjectасистент за доказивање теоремаsr
dc.subjectproof assistantsen
dc.subjectгеометријаsr
dc.subjectинтерактивно доказивање у геометријиsr
dc.subjectаутоматско доказивање у геометријиsr
dc.subjectхиперболичка геометријаsr
dc.subjectстереометријаsr
dc.subjectаксиоматски систем Тарскогsr
dc.subjectаксиоматски систем Хилбертаsr
dc.subjectДекартов координатни системsr
dc.subjectgeometryen
dc.subjectinteractive proving in geometryen
dc.subjectautomated proving in geometryen
dc.subjecthyperbolic geometryen
dc.subjectspatial geometryen
dc.subjectTarski axiom systemen
dc.subjectHilbert axiom systemen
dc.subjectCartesian coordinate systemen
dc.titleФормализација различитих модела геометрије и примене у верификацији аутоматских доказивача теоремаsr
dc.title.alternativeFormalization of various geometry models and applications in verification of automated theorem proversen
dc.typedoctoralThesis
dc.rights.licenseBY-NC-SA
dcterms.abstractМарић, Филип; Максимовић, Петар; Јаничић, Предраг; Вукмировић, Срђан; Симић, Данијела; Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema;
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/6458/Disertacija.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/6459/IzvestajKomisije17141.pdf


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record