Prikaz osnovnih podataka o disertaciji
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема
Formalization of various geometry models and applications in verification of automated theorem provers
dc.contributor.advisor | Marić, Filip | |
dc.contributor.other | Janičić, Predrag | |
dc.contributor.other | Vukmirović, Srđan | |
dc.contributor.other | Maksimović, Petar | |
dc.creator | Simić, Danijela | |
dc.date.accessioned | 2018-07-13T15:51:55Z | |
dc.date.available | 2018-07-13T15:51:55Z | |
dc.date.available | 2020-07-03T08:38:25Z | |
dc.date.issued | 2017-08-08 | |
dc.identifier.uri | http://eteze.bg.ac.rs/application/showtheses?thesesId=5895 | |
dc.identifier.uri | https://nardus.mpn.gov.rs/handle/123456789/9628 | |
dc.identifier.uri | https://fedorabg.bg.ac.rs/fedora/get/o:17885/bdef:Content/download | |
dc.identifier.uri | http://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=50179599 | |
dc.description.abstract | У овој тези представљена је интерактивна формализација модела разних геометрија и алгебарских метода аутоматског доказивања геометријских те- орема... | sr |
dc.description.abstract | In this thesis is presented interactive formalization of various models of geometry and algebraic methods for automated proving geometry theorems.... | en |
dc.format | application/pdf | |
dc.language | sr | |
dc.publisher | Универзитет у Београду, Математички факултет | sr |
dc.rights | openAccess | en |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0/ | |
dc.source | Универзитет у Београду | sr |
dc.subject | асистент за доказивање теорема | sr |
dc.subject | proof assistants | en |
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.subject | geometry | en |
dc.subject | interactive proving in geometry | en |
dc.subject | automated proving in geometry | en |
dc.subject | hyperbolic geometry | en |
dc.subject | spatial geometry | en |
dc.subject | Tarski axiom system | en |
dc.subject | Hilbert axiom system | en |
dc.subject | Cartesian coordinate system | en |
dc.title | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | sr |
dc.title.alternative | Formalization of various geometry models and applications in verification of automated theorem provers | en |
dc.type | doctoralThesis | en |
dc.rights.license | BY-NC-SA | |
dcterms.abstract | Марић, Филип; Максимовић, Петар; Јаничић, Предраг; Вукмировић, Срђан; Симић, Данијела; Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema; | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/6458/Disertacija.pdf | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/6459/IzvestajKomisije17141.pdf | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/6458/Disertacija.pdf | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/6459/IzvestajKomisije17141.pdf | |
dc.identifier.rcub | https://hdl.handle.net/21.15107/rcub_nardus_9628 |