Приказ основних података о дисертацији
Формализација и аутоматско доказивање теорема еуклидске геометрије
Formalization and automation of Euclidean geometry
dc.contributor.advisor | Janičić, Predrag | |
dc.contributor.other | Лучић, Зоран | |
dc.contributor.other | Марић, Филип | |
dc.contributor.other | Борисављевић, Мирјана | |
dc.contributor.other | Narbu, Žilijen | |
dc.creator | Stojanović, Sana | |
dc.date.accessioned | 2017-04-22T09:37:03Z | |
dc.date.available | 2017-04-22T09:37:03Z | |
dc.date.available | 2020-07-03T08:38:09Z | |
dc.date.issued | 2016-09-07 | |
dc.identifier.uri | http://eteze.bg.ac.rs/application/showtheses?thesesId=4836 | |
dc.identifier.uri | https://nardus.mpn.gov.rs/handle/123456789/7972 | |
dc.identifier.uri | https://fedorabg.bg.ac.rs/fedora/get/o:15164/bdef:Content/download | |
dc.identifier.uri | http://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=48817679 | |
dc.description.abstract | Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају нови аксиоматски ситеми за рад са еуклидском геометријом... | sr |
dc.description.abstract | The advance of geometry over the centuries can be observed through the development of dierent axiomatic systems that describe it. The use of axiomatic systems begins with Euclid, continues with Hilbert and Tarski, but it doesn't end there. Even today, new axiomatic systems for Euclidean geometry are developed... | en |
dc.format | application/pdf | |
dc.language | sr | |
dc.publisher | Универзитет у Београду, Математички факултет | sr |
dc.rights | openAccess | en |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
dc.source | Универзитет у Београду | sr |
dc.subject | кохерентна логика | sr |
dc.subject | coherent logic | en |
dc.subject | формализација геометрије | sr |
dc.subject | аутоматско доказивање теорема | sr |
dc.subject | интерактивно доказивање теорема | sr |
dc.subject | аутоматско генерисање читљивих доказа | sr |
dc.subject | formalization of geometry | en |
dc.subject | automated theorem proving | en |
dc.subject | interactive theorem proving | en |
dc.subject | automated generation of readable proofs | en |
dc.title | Формализација и аутоматско доказивање теорема еуклидске геометрије | sr |
dc.title.alternative | Formalization and automation of Euclidean geometry | en |
dc.type | doctoralThesis | en |
dc.rights.license | BY | |
dcterms.abstract | Јаничић, Предраг; Marić, Filip; Lučić, Zoran; Borisavljević, Mirjana; Нарбу, Жилијен; Стојановић, Сана; Formalizacija i automatsko dokazivanje teorema euklidske geometrije; | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/6384/Disertacija.pdf | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/6385/IzvestajKomisije8316.pdf | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/6384/Disertacija.pdf | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/6385/IzvestajKomisije8316.pdf | |
dc.identifier.rcub | https://hdl.handle.net/21.15107/rcub_nardus_7972 |