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://eteze.bg.ac.rs/application/showtheses?thesesId=5895
dc.identifier.urihttps://nardus.mpn.gov.rs/handle/123456789/9628
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.rights.urihttps://creativecommons.org/licenses/by-nc-sa/4.0/
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.typedoctoralThesisen
dc.rights.licenseBY-NC-SA
dcterms.abstractМарић, Филип; Максимовић, Петар; Јаничић, Предраг; Вукмировић, Срђан; Симић, Данијела; Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema;
dc.identifier.fulltexthttps://nardus.mpn.gov.rs/bitstream/id/6458/Disertacija.pdf
dc.identifier.fulltexthttps://nardus.mpn.gov.rs/bitstream/id/6459/IzvestajKomisije17141.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/6458/Disertacija.pdf
dc.identifier.fulltexthttp://nardus.mpn.gov.rs/bitstream/id/6459/IzvestajKomisije17141.pdf
dc.identifier.rcubhttps://hdl.handle.net/21.15107/rcub_nardus_9628


Files in this item

Thumbnail
Name:
Disertacija.pdf
Size:
1.104Mb
Format:
PDF
View/Open
Thumbnail
Name:
IzvestajKomisije17141.pdf
Size:
95.35Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record